| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 引言 | 第7-9页 |
| 第一章 智能规划 | 第9-11页 |
| ·智能规划概念 | 第9页 |
| ·智能规划的发展 | 第9-10页 |
| ·智能规划的求解方法 | 第10页 |
| ·一致性规划问题编码为QBF | 第10-11页 |
| 第二章 知识编译 | 第11-21页 |
| ·相关概念 | 第11-13页 |
| ·完备性 | 第13-14页 |
| ·易处理性 | 第14-16页 |
| ·简洁性 | 第16-17页 |
| ·表推演模型计数 | 第17-21页 |
| 第三章 QBF | 第21-25页 |
| ·QBF 相关概念 | 第21-23页 |
| ·求解QBF | 第23-25页 |
| 第四章 基于知识编译的QBF | 第25-28页 |
| ·相关概念 | 第25页 |
| ·VAL(QPROPPS)易处理性 | 第25-28页 |
| 第五章 基于知识编译的QBF 求解器的设计与实现 | 第28-30页 |
| ·求解器概述 | 第28页 |
| ·编译器功能结构图 | 第28页 |
| ·求解器流程图 | 第28页 |
| ·开发工具及测试环境 | 第28-29页 |
| ·实验结果分析 | 第29-30页 |
| 第六章 总结与展望 | 第30-31页 |
| 参考文献 | 第31-34页 |
| 致谢 | 第34-35页 |
| 在学期间公开发表论文及著作情况 | 第35页 |