| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第一章 绪论 | 第11-15页 |
| ·研究背景及意义 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·本文研究重点 | 第13页 |
| ·本文组织结构 | 第13-15页 |
| 第二章 可满足性问题概述 | 第15-22页 |
| ·可满足性问题的表示 | 第15-16页 |
| ·可满足性问题的特例 | 第16-17页 |
| ·可满足性问题的实例来源 | 第17-19页 |
| ·随机产生的实例 | 第17-18页 |
| ·实际问题产生的实例 | 第18-19页 |
| ·布尔约束推导过程 | 第19-20页 |
| ·可满足性问题的相变问题 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 可满足性问题算法的发展 | 第22-32页 |
| ·求解SAT问题的DPLL类算法 | 第22-27页 |
| ·DPLL算法思想 | 第22-24页 |
| ·变元决策策略 | 第24-25页 |
| ·冲突字句学习 | 第25-27页 |
| ·求解SAT问题的局部搜索算法 | 第27-30页 |
| ·GSAT | 第29页 |
| ·WALKSAT | 第29页 |
| ·NSAT | 第29-30页 |
| ·TSAT | 第30页 |
| ·SDF | 第30页 |
| ·求解可满足性问题的统计物理学方法 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 基于寻找可满足2-SAT子问题求解SAT问题 | 第32-46页 |
| ·2-SAT算法 | 第32-34页 |
| ·FSSAT算法的设计 | 第34-38页 |
| ·SAT问题的转换 | 第34页 |
| ·FSSAT算法的基本流程 | 第34页 |
| ·FSSAT算法的数据结构设计 | 第34-36页 |
| ·2-SAT子问题选择策略 | 第36-38页 |
| ·FFSAT算法测试和分析 | 第38-44页 |
| ·变元赋值的顺序 | 第38-39页 |
| ·2-SAT子问题选择策略的测试 | 第39-41页 |
| ·FSSAT算法与其它算法的对比测试 | 第41-44页 |
| ·本章小结 | 第44-46页 |
| 第五章 2-SAT求解器优化DPLL类算法 | 第46-55页 |
| ·动态2-SAT算法设计 | 第46-49页 |
| ·基于DBINSAT求解SAT的完全算法 | 第49-51页 |
| ·BSAT算法的基本流程 | 第49-50页 |
| ·BSAT的数据结构设计 | 第50-51页 |
| ·实验结果及分析 | 第51-54页 |
| ·实验一:在OKGEN实例的表现 | 第52-53页 |
| ·实验二:在PAR16实例的表现 | 第53-54页 |
| ·本章小结 | 第54-55页 |
| 结论 | 第55-57页 |
| 参考文献 | 第57-62页 |
| 攻读硕士学位期间取得的研究成果 | 第62-63页 |
| 致谢 | 第63页 |