| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 引言 | 第7-9页 |
| 第一章 智能规划 | 第9-15页 |
| ·智能规划概念 | 第9-10页 |
| ·智能规划的应用 | 第10-11页 |
| ·航空航天领域中的应用 | 第10页 |
| ·机器人领域中的应用 | 第10页 |
| ·智能工厂中的应用 | 第10-11页 |
| ·商业中的应用 | 第11页 |
| ·智能规划的发展 | 第11-13页 |
| ·规划问题编码为逻辑命题公式 | 第13页 |
| ·论文结构 | 第13-14页 |
| ·论文主要工作 | 第14-15页 |
| 第二章 QBF问题 | 第15-17页 |
| ·相关概念 | 第15-16页 |
| ·QBF问题与SAT问题比较 | 第16-17页 |
| 第三章 SPQBF算法框架 | 第17-19页 |
| 第四章 基于Survey Propagation方法的分支选择 | 第19-24页 |
| ·自旋玻璃和SAT | 第19页 |
| ·SP方法的基本原理 | 第19页 |
| ·利用Survey Propagation进行分支选择 | 第19-24页 |
| ·因子图(Factor Graph) | 第20页 |
| ·消息传递 | 第20-21页 |
| ·基于Survey Propagation的分支选择 | 第21-24页 |
| 第五章 分支处理 | 第24-27页 |
| ·冲突推理 | 第24-25页 |
| ·冲突学习 | 第25页 |
| ·满足蕴涵学习 | 第25-27页 |
| 第六章 实验比较 | 第27-31页 |
| ·DPLL算法和SPQBF算法比较 | 第27-28页 |
| ·SPQBF和参赛QBF求解器效率比较 | 第28-31页 |
| 第七章 总结 | 第31-32页 |
| 参考文献 | 第32-35页 |
| 后记 | 第35-36页 |
| 在学期间公开发表论文及著作情况 | 第36页 |
