Các kỹ thuật SAT Solving
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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/17423 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |