| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 第一章 引言 | 第7-10页 |
| 第二章 智能规划概述 | 第10-12页 |
| ·智能规划的基本概念 | 第10页 |
| ·智能规划的发展 | 第10-11页 |
| ·规划问题的间接求解方法 | 第11-12页 |
| 第三章 可满足性理论扩展与应用 | 第12-15页 |
| ·可满足性理论概述 | 第12页 |
| ·可满足性理论的扩展 | 第12页 |
| ·智能规划与#QBF 的关系 | 第12-13页 |
| ·本文中的一些约定 | 第13-15页 |
| 第四章 基于扩展规则的#QBF 问题 | 第15-26页 |
| ·基于DPLL 方法的模型计数 | 第15-16页 |
| ·扩展规则的基本概念 | 第16-17页 |
| ·基于扩展规则的#QBF 计数方法 | 第17-26页 |
| ·基本的基于扩展规则的#QBF 计数方法：#ER 方法 | 第18-19页 |
| ·基于知识编译的#QBF 计数方法：#KCER 方法 | 第19-21页 |
| ·基于组件分析的#QBF 计数方法：#CSER 方法 | 第21-25页 |
| ·三种方法的比较 | 第25-26页 |
| 第五章 三个#QBF 计数系统的设计与实现 | 第26-44页 |
| ·系统介绍 | 第26页 |
| ·系统功能设计 | 第26-27页 |
| ·系统基本类的设计 | 第27-28页 |
| ·子句 | 第27页 |
| ·子句集 | 第27-28页 |
| ·组件集 | 第28页 |
| ·各结构类之间的关系 | 第28页 |
| ·系统工作流程 | 第28-32页 |
| ·#ER 方法的工作流程 | 第28-29页 |
| ·#KCER 方法的工作流程 | 第29-30页 |
| ·#CSER 方法的工作流程 | 第30-32页 |
| ·开发工具及测试环境 | 第32页 |
| ·实验结果及分析 | 第32-44页 |
| 结论 | 第44-45页 |
| 参考文献 | 第45-48页 |
| 致谢 | 第48-49页 |
| 在学期间公开发表论文情况 | 第49页 |
