| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 引言 | 第9-12页 |
| ·研究背景 | 第9-10页 |
| ·本文的主要工作 | 第10-11页 |
| ·论文的结构 | 第11-12页 |
| 第二章 智能规划 | 第12-16页 |
| ·智能规划的概念 | 第12-13页 |
| ·智能规划的应用 | 第13-14页 |
| ·航空航天领域中的应用 | 第13页 |
| ·机器人领域中的应用 | 第13-14页 |
| ·智能工厂中的应用 | 第14页 |
| ·商业中的应用 | 第14页 |
| ·智能规划的主要求解方法 | 第14-16页 |
| 第三章 SAT 问题、QBF 问题和Backdoor 集合 | 第16-25页 |
| ·相关概念 | 第16-18页 |
| ·隐蔽集的发展概况 | 第18-19页 |
| ·SAT 问题的隐蔽集 | 第19-23页 |
| ·基于DLL 的求解算法 | 第19-20页 |
| ·基于Horn 公式的求解算法 | 第20-21页 |
| ·基于RHorn 公式的求解算法 | 第21-22页 |
| ·基于2CNF 公式的求解算法 | 第22-23页 |
| ·QBF 问题的隐蔽集 | 第23-25页 |
| ·基于QHorn 公式的求解算法 | 第23-24页 |
| ·基于Q2CNF 公式的求解算法 | 第24-25页 |
| 第四章 求解QBF 问题的Backdoor set 算法框架 | 第25-29页 |
| ·局部搜索及公式重命名 | 第25-26页 |
| ·求解QBF 问题的隐蔽集算法 | 第26-29页 |
| 第五章 算法设计与实现 | 第29-34页 |
| ·RQHorn-Backdoor | 第29-31页 |
| ·RQHorn-Backdoors 的求解算法实现 | 第29-30页 |
| ·实验比较 | 第30-31页 |
| ·BDQBF 系统与已有QBF 求解器Queffle 的比较 | 第31-34页 |
| 第六章 总结 | 第34-35页 |
| 参考文献 | 第35-39页 |
| 致谢 | 第39-40页 |
| 在学期间公开发表论文情况 | 第40页 |
