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:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Theses and Dissertations |
| 語言: | Vietnamese |
| 出版: |
2017
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/17423 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|