| 摘要 | 第1-11页 |
| 第一章 引言 | 第11-15页 |
| ·动机 | 第12-13页 |
| ·主要工作与进一步的工作 | 第13-15页 |
| 第二章 可满足性问题 | 第15-18页 |
| ·基本定义 | 第15-16页 |
| ·可满足性问题 | 第16页 |
| ·可满足性的复杂性 | 第16-18页 |
| 第三章 极小不可满足公式 | 第18-30页 |
| ·基本定义 | 第18-19页 |
| ·极小不可满足公式若干性质 | 第19-22页 |
| ·分裂技术 | 第22-30页 |
| ·分裂技术介绍 | 第22页 |
| ·符号 | 第22-23页 |
| ·分裂下保持闭的公式类 | 第23-30页 |
| 第四章 NT-HIT公式的存在性 | 第30-38页 |
| ·构造公式H_(n,m) | 第30-31页 |
| ·NT-HIT(2) | 第31-36页 |
| ·NT-HIT(1) | 第36-37页 |
| ·结论 | 第37-38页 |
| 致谢 | 第38-39页 |
| 主要参考文献 | 第39-42页 |
| 附录 | 第42-43页 |
| 原创性声明 | 第43页 |
| 关于学位论文使用授权的声明 | 第43页 |