| 提要 | 第1-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景和研究现状 | 第7-8页 |
| ·约束满足 | 第8-11页 |
| ·经典与扩展的约束满足问题 | 第8-9页 |
| ·软约束问题 | 第9-10页 |
| ·随机约束满足问题 | 第10-11页 |
| ·本文主要工作 | 第11-13页 |
| 第二章 约束满足求解技术 | 第13-20页 |
| ·基本搜索方法 | 第13-15页 |
| ·系统化搜索方法 | 第13页 |
| ·回溯方法 | 第13-14页 |
| ·分支界限法（Branch and Bound , B&B） | 第14页 |
| ·遗传算法（Genetic Algorithm, GA） | 第14页 |
| ·局部搜索（Local Search） | 第14-15页 |
| ·推理技术 | 第15-16页 |
| ·相容性技术 | 第15页 |
| ·树分解技术 | 第15-16页 |
| ·桶消元（Bucket Elimination）技术 | 第16页 |
| ·解的估算 | 第16页 |
| ·知识编译 | 第16-17页 |
| ·约束满足求解算法的测试 | 第17-20页 |
| ·测试方法总结 | 第17-18页 |
| ·随机模型在测试中的应用 | 第18-20页 |
| 第三章 参数化约束传播 | 第20-26页 |
| ·约束传播 | 第20-21页 |
| ·弧相容算法 | 第21-22页 |
| ·参数化弧相容传播算法 | 第22-24页 |
| ·实验结果 | 第24-26页 |
| 第四章 基于解重用的动态约束满足求解算法 | 第26-33页 |
| ·动态约束满足问题 | 第26-27页 |
| ·LC 算法简介 | 第27-28页 |
| ·Tabu_LC 算法 | 第28-31页 |
| ·Tabu_LC 的基本结构 | 第29页 |
| ·分支定界的邻域选取 | 第29-30页 |
| ·死循环的跳出 | 第30-31页 |
| ·实验结果 | 第31-33页 |
| 第五章 并发搜索中的变量次序启发算法 | 第33-41页 |
| ·分布式约束满足求解算法 | 第33-35页 |
| ·动态变量次序启发 | 第35-36页 |
| ·基于动态变量次序的并发搜索 | 第36-39页 |
| ·分布式动态变量次序计算 | 第36-37页 |
| ·改进的并发搜索算法 | 第37-39页 |
| ·实验结果 | 第39-41页 |
| 第六章 基于有限自动机的约束求解 | 第41-49页 |
| ·产品配置问题 | 第41-42页 |
| ·产品配置的编译 | 第42-44页 |
| ·编译过程 | 第42页 |
| ·基于约束满足的表示 | 第42-43页 |
| ·基于自动机的编译 | 第43-44页 |
| ·有限自动机的化简算法 | 第44-47页 |
| ·不同变量次序的等价变换 | 第44-46页 |
| ·化简算法 | 第46-47页 |
| ·汽车产品配置实例的编译 | 第47-49页 |
| 第七章 结束语 | 第49-51页 |
| 参考文献 | 第51-58页 |
| 攻读硕士期间完成的论文 | 第58-59页 |
| 摘要 | 第59-61页 |
| Abstract | 第61-65页 |
| 致谢 | 第65页 |
