| 摘要 | 第1-8页 |
| ABSTRACT | 第8-13页 |
| 第一章 绪论 | 第13-31页 |
| ·约束满足问题 | 第13-16页 |
| ·约束程序设计 | 第16-19页 |
| ·约束语言中的求解方法 | 第19-25页 |
| ·局部传播 | 第20-22页 |
| ·松弛法 | 第22页 |
| ·图转化方法 | 第22-23页 |
| ·简单的方程求解法 | 第23-24页 |
| ·增强项重写方法 | 第24-25页 |
| ·约束逻辑程序设计语言和面向对象的约束语言 | 第25-30页 |
| ·约束逻辑程序设计语言 | 第25-28页 |
| ·面向对象的约束语言 | 第28-30页 |
| ·论文的组织 | 第30-31页 |
| 第二章 约束满足问题不同实现途径的研究与比较 | 第31-54页 |
| ·元结构方法(META STRUCTURE) | 第32-39页 |
| ·启发式搜索顺序 | 第32-35页 |
| ·树型结构元约束图与树聚类方法 | 第35-39页 |
| ·宏观结构(MACRO STRUCTRUE)方法 | 第39-40页 |
| ·微结构(MICRO STRUCTURE)方法 | 第40-43页 |
| ·约束满足问题的逻辑方法 | 第43-46页 |
| ·CSP问题的一阶谓词逻辑框架 | 第43-45页 |
| ·CSP问题的命题逻辑框架 | 第45-46页 |
| ·约束满足问题的有限自动机方法 | 第46-48页 |
| ·约束满足问题的代数方法 | 第48-50页 |
| ·约束满足问题的连接主义方法 | 第50-52页 |
| ·约束满足问题的遗传算法 | 第52页 |
| ·总结 | 第52-54页 |
| 第三章 一个基于变量值可交换性的约束满足算法 | 第54-68页 |
| ·前向检测算法FC和冲突引导的回跳算法CBJ | 第55-56页 |
| ·前向检测法(Forward Checking) | 第55页 |
| ·冲突指导的回跳法(Conflict-directed backjumping) | 第55-56页 |
| ·面向约束的可交换性 | 第56-59页 |
| ·IBFC算法 | 第59-66页 |
| ·前向检测加冲突指导的回跳算法 | 第59-61页 |
| ·IBFC算法的启发式策略 | 第61-63页 |
| ·IBFC算法描述 | 第63-66页 |
| ·总结 | 第66-68页 |
| 第四章 约束满足系统COPS | 第68-86页 |
| ·约束满足系统COPS的设计思想 | 第68-71页 |
| ·COPS系统的基本结构 | 第71-72页 |
| ·COPS语言 | 第72-76页 |
| ·COPS的约束求解器 | 第76-82页 |
| ·局部传播和约束化简 | 第76-77页 |
| ·有限域上的约束求解 | 第77-78页 |
| ·线性约束求解 | 第78-81页 |
| ·规划问题求解 | 第81-82页 |
| ·非线性约束求解 | 第82页 |
| ·COPS系统集成开发环境和求解实例 | 第82-85页 |
| ·总结 | 第85-86页 |
| 第五章 结束语 | 第86-90页 |
| ·总结 | 第86-88页 |
| ·进一步工作及展望 | 第88-90页 |
| 参考文献 | 第90-95页 |
| 作者简历及论文发表情况 | 第95页 |