Kỹ thuật áp dụng trong DPLL

Nội dung luận văn này được chia thành 4 chương như sau: Chương 1 sẽ được giới thiệu về các vấn đề cơ bản như Lôgic mệnh đề, bài toán SAT, chương 2 sẽ trình các kỹ thuật SAT solving cơ bản bao gồm thủ tục DPLL, và các kỹ thuật áp dụng trong DPLL, chương 3 trình bày các kỹ thuật SAT Solving tiên tiến hiện nay, những kỹ thuật đang được cài đặt trong các SAT solver mạnh trên thế giới như GlueMinisat, Glucose, chương 4 tiến hành thực nghiệm so sánh và đánh giá 3 SAT Solver trên bộ dữ liệu chuẩn của cuộc thi SAT competition hàng năm.

68p hanh_tv26 03-04-2019 33 5   Download