基于子句权重求解SAT问题算法的研究
| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 第一章 绪论 | 第12-17页 |
| 1.1 SAT问题研究的背景及意义 | 第12-13页 |
| 1.2 国内外研究现状 | 第13-15页 |
| 1.3 本文的研究内容和结构安排 | 第15-17页 |
| 第二章 基础知识 | 第17-32页 |
| 2.1 SAT问题相关概念 | 第17-22页 |
| 2.2 DPLL算法简介 | 第22-24页 |
| 2.3 CDCL算法简介 | 第24-31页 |
| 2.3.1 变量决策策略 | 第26-29页 |
| 2.3.2 冲突分析 | 第29页 |
| 2.3.3 子句学习 | 第29-31页 |
| 2.3.4 回溯回退机制 | 第31页 |
| 2.4 本章小结 | 第31-32页 |
| 第三章 基于变量权重的初始变量决策 | 第32-40页 |
| 3.1 基于变量与子句的关系 | 第32-36页 |
| 3.2 基于变量权重变量选择策略 | 第36-39页 |
| 3.3 本章小结 | 第39-40页 |
| 第四章 基于子句权重分支变量决策 | 第40-51页 |
| 4.1 基于子句权重变量决策策略 | 第40-47页 |
| 4.2 引入子句权重改进后的变量选择策略的实现 | 第47-50页 |
| 4.3 本章小结 | 第50-51页 |
| 第五章 算法分析及实验结果 | 第51-59页 |
| 5.1 算法分析 | 第51-52页 |
| 5.1.1 基于变量权重的初始变量决策策略 | 第51页 |
| 5.1.2 基于子句权重的分支变量决策策略 | 第51-52页 |
| 5.2 实验分析 | 第52-53页 |
| 5.3 测试结果比较 | 第53-58页 |
| 5.3.1 2015年测试例比较 | 第53-56页 |
| 5.3.2 SAT问题库测试例比较 | 第56-58页 |
| 5.4 本章小结 | 第58-59页 |
| 第六章 总结与展望 | 第59-61页 |
| 6.1 总结 | 第59-60页 |
| 6.2 展望 | 第60-61页 |
| 致谢 | 第61-62页 |
| 参考文献 | 第62-67页 |
| 攻读硕士学位期间发表的论文及参与的科研工作 | 第67页 |
| 一、硕士期间发表的论文 | 第67页 |
| 二、硕士期间参与的科研项目 | 第67页 |
