| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第1章 绪论 | 第9-11页 |
| 1.1 相关研究背景和现状 | 第9-10页 |
| 1.2 本文主要工作 | 第10-11页 |
| 第2章 约束满足、求解算法和相容性技术 | 第11-18页 |
| 2.1 约束满足问题模型 | 第11-12页 |
| 2.2 约束满足问题的求解 | 第12-18页 |
| 2.2.1 相容性技术 | 第12-14页 |
| 2.2.2 相容性算法 | 第14-16页 |
| 2.2.3 启发式介绍 | 第16-18页 |
| 第3章 基于 MAC 算法下 dom/wdeg 的改进启发式 | 第18-26页 |
| 3.1 dom/wdeg 启发式的特性及分析 | 第18页 |
| 3.2 基于 MAC 算法下 dom/wdeg 的改进 | 第18-25页 |
| 3.2.1 分级启发式 | 第19-25页 |
| 3.2.1.1 分级启发式思想 | 第19-22页 |
| 3.2.1.2 实验结果及其分析 | 第22-25页 |
| 3.3 总结 | 第25-26页 |
| 第4章 基于 MAC 算法下的 DBT 的改进 | 第26-45页 |
| 4.1 智能回溯简介 | 第26-29页 |
| 4.2 动态回溯算法的背景知识 | 第29-33页 |
| 4.3 对 DBT 的改进 | 第33-39页 |
| 4.4 实验结果 | 第39-43页 |
| 4.5 总结 | 第43-45页 |
| 第5章 总结与展望 | 第45-47页 |
| 参考文献 | 第47-50页 |
| 作者简介 | 第50-51页 |
| 致谢 | 第51页 |