| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 引言 | 第5-6页 |
| 第一章 绪论 | 第6-11页 |
| 第一节 时间复杂度 | 第6-7页 |
| 第二节 关于NP问题 | 第7页 |
| 第三节 可满足性问题 | 第7-8页 |
| 第四节 逻辑电路与CNF式 | 第8-10页 |
| 第五节 本文的思路和组织架构 | 第10-11页 |
| 第二章 可满足性算法研究的分析 | 第11-24页 |
| 第一节 可满足性算法的发展 | 第11页 |
| 第二节 DPLL算法 | 第11-13页 |
| 第三节 常用提高算法效率的途径 | 第13-24页 |
| 第三章 或与表达式的简化思路及程序实现 | 第24-30页 |
| 第一节 利用异或和同或表达式化简 | 第24-25页 |
| 第二节 消除同时出现某一变量及其取反的子句 | 第25页 |
| 第三节 消去包含于其他子句的冗余子句 | 第25-27页 |
| 第四节 利用多项式化简消去并化简子句 | 第27-29页 |
| 第五节 消去不再使用的变量 | 第29-30页 |
| 第四章 预处理程序的实验结果 | 第30-34页 |
| 第一节 实验环境及数据 | 第30页 |
| 第二节 | 第30-34页 |
| 第五章 总结和展望 | 第34-35页 |
| 参考文献 | 第35-37页 |
| 附录 | 第37-41页 |
| 致谢 | 第41-42页 |