| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第一章 绪论 | 第7-12页 |
| 1.1 研究问题及背景 | 第7页 |
| 1.2 国内外研究现状 | 第7-10页 |
| 1.3 论文主要的研究内容及意义 | 第10-11页 |
| 1.4 论文主要工作及组织架构 | 第11-12页 |
| 第二章QBF相关基础概念 | 第12-16页 |
| 2.1 QBF概念介绍 | 第12-13页 |
| 2.2 随机 SAT 和随机 QBF 模型 | 第13-16页 |
| 第三章 算法 | 第16-35页 |
| 3.1 预处理过程 | 第16-21页 |
| 3.2 针对MINSAT问题的算法 | 第21-24页 |
| 3.3 启发式Check定义 | 第24-27页 |
| 3.4 算法整体框架及设计 | 第27-35页 |
| 第四章 实验及分析 | 第35-42页 |
| 4.1 实验方法及模型示例选取 | 第35-38页 |
| 4.2 启发式的选择实验 | 第38-40页 |
| 4.3 实验结果分析 | 第40-42页 |
| 第五章 总结与展望 | 第42-43页 |
| 参考文献 | 第43-45页 |
| 致谢 | 第45页 |