| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第1章 绪论 | 第10-13页 |
| 1.1 研究背景与现状 | 第10-11页 |
| 1.2 本文工作 | 第11-13页 |
| 第2章 约束满足问题背景知识 | 第13-23页 |
| 2.1 约束满足问题 | 第13-15页 |
| 2.2 相容性技术 | 第15-19页 |
| 2.3 MAC算法 | 第19-23页 |
| 第3章 启发式方法 | 第23-31页 |
| 3.1 变量顺序启发式 | 第23-28页 |
| 3.1.1 dom/wd eg启发式 | 第24-26页 |
| 3.1.2 基于影响的启发式 | 第26-27页 |
| 3.1.3 基于活跃度的启发式 | 第27-28页 |
| 3.2 值顺序启发式 | 第28-31页 |
| 第4章 基于单值变量的启发式方法 | 第31-39页 |
| 4.1 单值变量 | 第31页 |
| 4.2 在基于冲突的启发式中整合单值变量信息 | 第31-32页 |
| 4.3 基于单值变量的约束网络压缩 | 第32-33页 |
| 4.4 实验结果及分析 | 第33-39页 |
| 4.4.1 MAC_ Com与MAC_singleHal f对比 | 第33-35页 |
| 4.4.2 新启发式与经典的基于冲突的启发式的对比 | 第35-38页 |
| 4.4.3 新启发式方法对于Co mp ose d问题的特殊指导作用 | 第38-39页 |
| 第5章 总结与展望 | 第39-40页 |
| 参考文献 | 第40-43页 |
| 作者简介 | 第43-44页 |
| 致谢 | 第44页 |
