| 摘要 | 第4-6页 |
| abstract | 第6-8页 |
| 第1章 绪论 | 第11-14页 |
| 1.1 研究背景与现状 | 第11-12页 |
| 1.2 本文工作 | 第12-14页 |
| 第2章 约束满足问题背景知识 | 第14-23页 |
| 2.1 约束满足问题 | 第14-15页 |
| 2.2 相容性技术 | 第15-19页 |
| 2.3 MAC算法 | 第19-23页 |
| 第3章 启发式算法 | 第23-29页 |
| 3.1 Ddeg启发式 | 第24-26页 |
| 3.2 Wdeg启发式 | 第26页 |
| 3.3 Tdeg启发式 | 第26-27页 |
| 3.4 Variable_try启发式 | 第27-29页 |
| 第4章 基于变量权重的启发式 | 第29-42页 |
| 4.1 变量权重 | 第29-30页 |
| 4.2 基于变量权重的变量排序启发式 | 第30-33页 |
| 4.3 实验结果及分析 | 第33-42页 |
| 4.3.1 Composed类型约束满足问题 | 第34-35页 |
| 4.3.2 二元随机约束满足问题 | 第35-37页 |
| 4.3.3 二元结构化约束满足问题 | 第37-39页 |
| 4.3.4 非二元约束满足问题 | 第39-42页 |
| 第5章 总结与展望 | 第42-43页 |
| 参考文献 | 第43-46页 |
| 作者简介 | 第46-47页 |
| 致谢 | 第47页 |