| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 1 绪论 | 第8-13页 |
| 1.1 研究背景与意义 | 第8-9页 |
| 1.2 国内外研究现状 | 第9-11页 |
| 1.3 课题的研究内容 | 第11-13页 |
| 2 MaxSAT问题 | 第13-16页 |
| 2.1 MaxSAT相关术语 | 第13-14页 |
| 2.2 MaxSAT问题的分类 | 第14-15页 |
| 2.3 本章总结 | 第15-16页 |
| 3 基于分支限界的MaxSAT算法 | 第16-31页 |
| 3.1 SAT完备算法框架 | 第16-20页 |
| 3.2 MaxSAT完备算法框架 | 第20-21页 |
| 3.3 下界预估算法 | 第21-30页 |
| 3.4 本章总结 | 第30-31页 |
| 4 基于迭代法的MaxSAT完备算法 | 第31-49页 |
| 4.1 算法提出 | 第31-34页 |
| 4.2 算法设计 | 第34-41页 |
| 4.3 算法分析 | 第41-42页 |
| 4.4 优化策略 | 第42-44页 |
| 4.5 实验结果及分析 | 第44-47页 |
| 4.6 本章总结 | 第47-49页 |
| 5 总结与展望 | 第49-51页 |
| 5.1 全文总结 | 第49页 |
| 5.2 进一步展望 | 第49-51页 |
| 致谢 | 第51-52页 |
| 参考文献 | 第52-56页 |