| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-12页 |
| ·研究背景与现状 | 第9-10页 |
| ·本文工作 | 第10-12页 |
| 第2章 基础知识 | 第12-18页 |
| ·约束程序 | 第12-14页 |
| ·配置及解释 | 第14-18页 |
| 第3章 极小正确解释优化算法 | 第18-31页 |
| ·计算极小正确解释技术 | 第18页 |
| ·极小正确解释优化算法 | 第18-26页 |
| ·算法正确性及复杂性分析 | 第26-27页 |
| ·实验结果 | 第27-31页 |
| 第4章 并行生成多个解释算法 | 第31-43页 |
| ·并行计算解释技术 | 第31-33页 |
| ·多个解释并行生成算法 | 第33-37页 |
| ·算法正确性及复杂性分析 | 第37页 |
| ·实验结果 | 第37-43页 |
| 第5章 总结与展望 | 第43-44页 |
| 参考文献 | 第44-47页 |
| 作者简介及在学期间所取得的科研成果 | 第47-48页 |
| 致谢 | 第48页 |