| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第1章 绪论 | 第10-14页 |
| 1.1 研究背景 | 第10-12页 |
| 1.2 本文结构 | 第12-14页 |
| 第2章 约束满足问题和相关知识介绍 | 第14-24页 |
| 2.1 约束满足问题（CSPs） | 第14-15页 |
| 2.2 回溯搜索算法 | 第15-16页 |
| 2.3 约束传播：AC、maxRPC | 第16-20页 |
| 2.3.1 弧相容（Arc Consistency，AC） | 第17-18页 |
| 2.3.2 最大受限路径相容（Max Restricted Path Consistency，maxRPC） | 第18-20页 |
| 2.4 变量排序启发式 | 第20-21页 |
| 2.5 值排序启发式 | 第21-22页 |
| 2.6 分支策略和重启策略 | 第22-24页 |
| 第3章 Mistral求解器结构分析 | 第24-46页 |
| 3.1 Mistral求解器背景 | 第24页 |
| 3.2 Mistral求解器主要结构 | 第24-25页 |
| 3.3 运用Mistral建模 | 第25-35页 |
| 3.3.1 Mistral主要数据结构：论域、变量、约束 | 第25-32页 |
| 3.3.2 Solver类的详解 | 第32-34页 |
| 3.3.3 一个例子：n皇后问题 | 第34-35页 |
| 3.4 Mistral求解器变量排序启发式和值排序启发式实现机制 | 第35-40页 |
| 3.4.1 变量排序启发式实现机制 | 第36-38页 |
| 3.4.2 值排序启发式实现机制 | 第38-39页 |
| 3.4.3 通用启发式封装类GenericHeuristic | 第39-40页 |
| 3.5 Mistral约束传播机制 | 第40-46页 |
| 3.5.1 回溯搜索实现细节 | 第40-43页 |
| 3.5.2 约束传播实现细节 | 第43-46页 |
| 第4章 Mistral求解器扩展（一） | 第46-76页 |
| 4.1 添加maxRPC3及其变体 | 第46-57页 |
| 4.1.1 maxRPC3及其变体算法介绍 | 第46-49页 |
| 4.1.2 向Mistral中添加maxRPC3及其变体 | 第49-52页 |
| 4.1.3 测试结果 | 第52-57页 |
| 4.2 添加参数相容性技术 | 第57-68页 |
| 4.2.1 自适应参数相容性算法 | 第57-59页 |
| 4.2.2 修改的自适应参数相容性算法 | 第59-63页 |
| 4.2.3 向Mistral中添加自适应参数相容性算法 | 第63-65页 |
| 4.2.4 测试结果 | 第65-68页 |
| 4.3 添加自适应约束传播方法 | 第68-76页 |
| 4.3.1 MAB问题介绍 | 第69页 |
| 4.3.2 基于MAB的自适应约束传播算法 | 第69-70页 |
| 4.3.3 Mistral求解器中添加自适应约束传播算法 | 第70-72页 |
| 4.3.4 测试结果 | 第72-76页 |
| 第5章 Mistral求解器扩展（二） | 第76-97页 |
| 5.1 TLBO算法介绍 | 第76-79页 |
| 5.1.1 TLBO和ETLBO算法介绍 | 第76-78页 |
| 5.1.2 TLBO和ETLBO算法测试分析 | 第78-79页 |
| 5.2 TLBO算法改进 | 第79-83页 |
| 5.2.1 策略一：自适应精英个数 | 第80-82页 |
| 5.2.2 策略二：讨论组策略 | 第82-83页 |
| 5.3 TLBO算法求解无约束的连续非线性规划问题 | 第83-84页 |
| 5.4 一种离散的自适应精英的TLBO算法 | 第84-87页 |
| 5.4.1 边界检查 | 第85页 |
| 5.4.2 编码解码技术：forward transformation and backward transformationtechnique | 第85-86页 |
| 5.4.3 D-AETLBO-MAB算法描述 | 第86-87页 |
| 5.5 Mistral求解器添加TLBO算法 | 第87-89页 |
| 5.6 D-AETLBO-MAB算法求解maxCSPs | 第89-97页 |
| 第6章 总结与展望 | 第97-99页 |
| 参考文献 | 第99-103页 |
| 作者简介 | 第103-104页 |
| 致谢 | 第104页 |
