| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-7页 |
| 引言 | 第7-9页 |
| 研究背景 | 第7-8页 |
| 本文的主要工作 | 第8-9页 |
| 一、自动推理 | 第9-15页 |
| (一) 自动推理的历史与发展现状 | 第9-12页 |
| 自动推理的早期历史 | 第9-11页 |
| 自动推理的发展现状 | 第11-12页 |
| (二) 自动推理的应用 | 第12-13页 |
| (三) 基于归结的自动推理证明方法 | 第13-15页 |
| 二、SAT问题与知识编译 | 第15-19页 |
| (一) SAT问题 | 第15-16页 |
| (二) 知识编译相关内容 | 第16-19页 |
| 三、EKCCCL | 第19-24页 |
| (一) 扩展规则及其相关定理 | 第19-20页 |
| (二) EKCCCL理论 | 第20-22页 |
| (三) 算法 | 第22-24页 |
| 四、实验结果分析 | 第24-30页 |
| 结语 | 第30-31页 |
| 参考文献 | 第31-35页 |
| 在学期间公开发表论文及著作情况 | 第35-36页 |
| 后记 | 第36页 |