| 第一章 绪论 | 第1-12页 |
| ·研究背景及意义 | 第8-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·本文主要工作 | 第10-12页 |
| 第二章 约束程序设计 | 第12-16页 |
| ·约束程序设计的概念 | 第12-13页 |
| ·约束程序设计的分支 | 第13-14页 |
| ·约束程序设计的优势 | 第14页 |
| ·约束程序设计的应用前景 | 第14-16页 |
| 第三章 约束满足问题及其求解技术 | 第16-30页 |
| ·约束 | 第16-17页 |
| ·约束的建模 | 第17-18页 |
| ·约束满足问题 | 第18-19页 |
| ·相容性技术 | 第19-21页 |
| ·节点-相容 | 第20页 |
| ·弧-相容 | 第20-21页 |
| ·边界相容 | 第21页 |
| ·CSP 的求解方法 | 第21-25页 |
| ·系统化搜索方法 | 第21-23页 |
| ·约束传播方法 | 第23-25页 |
| ·CSP 的搜索次序 | 第25-30页 |
| ·搜索中的动态变量选择策略 | 第25-28页 |
| ·搜索中的动态变量值选择策略 | 第28-30页 |
| 第四章 约束求解器概述 | 第30-47页 |
| ·系统的思想 | 第30-31页 |
| ·系统特征 | 第31页 |
| ·系统的设计说明 | 第31-33页 |
| ·程序描述 | 第32-33页 |
| ·功能 | 第33页 |
| ·流程逻辑 | 第33页 |
| ·系统模块说明 | 第33-41页 |
| ·系统的支撑类关系图 | 第41-47页 |
| 第五章 约束求解器的设计与实现 | 第47-84页 |
| ·变量的论域 | 第47-48页 |
| ·约束的分类 | 第48-49页 |
| ·约束传播算法 | 第49页 |
| ·约束传播事件 | 第49-51页 |
| ·相容性算法 | 第51-60页 |
| ·约束X = Y + Z 的传播规则 | 第52-53页 |
| ·约束Z = (X > = Y) 的传播规则 | 第53-54页 |
| ·约束Z = (X && Y) 的传播规则 | 第54页 |
| ·约束AtLeast(X,p,c) 的传播规则 | 第54-55页 |
| ·约束Minimize(Min,X) 的传播规则 | 第55页 |
| ·约束Sum(Sum,X) 的传播规则 | 第55-56页 |
| ·约束AllDifferent(X) 的传播规则 | 第56-57页 |
| ·约束Sort(X,Y) 的传播规则 | 第57-60页 |
| ·实例化变量的次序 | 第60-61页 |
| ·系统中的求解算法 | 第61-77页 |
| ·BTSolver(Backtracking) | 第62-64页 |
| ·BT_DVOSolver(Backtracking+DVO) | 第64页 |
| ·BMSolver(Backmarking) | 第64-65页 |
| ·BJSolver(Backjumping) | 第65-71页 |
| ·FCSolver(Forward checking) | 第71页 |
| ·混合算法 | 第71-76页 |
| ·算法比较 | 第76-77页 |
| ·系统的改进 | 第77-84页 |
| ·改进之处 | 第77-81页 |
| ·与C++版本求解器的比较 | 第81-84页 |
| 第六章 测试实例和实验结果 | 第84-129页 |
| ·不同求解算法的测试 | 第84-100页 |
| ·实例说明 | 第84-96页 |
| ·性能比较 | 第96-100页 |
| ·混合算法的测试 | 第100-127页 |
| ·实例说明 | 第100-125页 |
| ·性能比较 | 第125-127页 |
| ·问题建模的意见 | 第127-129页 |
| 第七章 结语及今后的工作 | 第129-131页 |
| ·系统评价 | 第129页 |
| ·工作展望 | 第129-131页 |
| 参考文献 | 第131-134页 |
| 摘要 | 第134-137页 |
| ABSTRACT | 第137-140页 |
| 致谢 | 第140-141页 |
| 导师及作者简介 | 第141页 |