Các kỹ thuật SAT Solving

• المؤلف الرئيسي: Đặng, Thị Như Hoa
• مؤلفون آخرون: Tô, Văn Khánh
• التنسيق: Theses and Dissertations
• اللغة: Vietnamese
• منشور في: 2017
• الموضوعات: Kỹ thuật phần mềm; SAT Solving Kỹ thuật
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/17423

Giới thiệu về các vấn đề cơ bản như Lôgic mệnh đề, bài toán SAT,các SAT Solver và ứng dụng của phương pháp SAT Encoding. 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 như: CDCL, BackJumping, 2 Watchedliterals, Clause Elimination.T rình bày các kỹ thu...