| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 第一章 绪论 | 第5-9页 |
| ·研究背景 | 第5-7页 |
| ·研究动机 | 第7页 |
| ·研究的问题 | 第7-9页 |
| 第二章 DPLL算法的一种改进方法 | 第9-24页 |
| ·可满足公式 | 第9-11页 |
| ·DPLL算法 | 第11-14页 |
| ·关键文字及其性质 | 第14-18页 |
| ·DPLL算法的一种改进方法 | 第18-24页 |
| 第三章 关键文字和极小不可满足公式 | 第24-39页 |
| ·极小不可满足公式 | 第24-27页 |
| ·关键文字和极小不可满足公式 | 第27-31页 |
| ·关于MU(1)公式的化简算法 | 第31-39页 |
| 全文总结及进一步的工作 | 第39-40页 |
| 致谢 | 第40-41页 |
| 参考文献 | 第41-44页 |
| 附录 | 第44-45页 |