| 提要 | 第1-6页 |
| 第1章 绪论 | 第6-8页 |
| ·研究背景及现状 | 第6-7页 |
| ·本文主要工作 | 第7-8页 |
| 第2章 约束满足问题 | 第8-15页 |
| ·约束满足 | 第8-9页 |
| ·主流的约束求解算法 | 第9-10页 |
| ·生成测试算法 | 第9页 |
| ·基于回溯的搜索算法 | 第9页 |
| ·相容性算法 | 第9-10页 |
| ·经典的正向相容算法 | 第10-12页 |
| ·约束分解 | 第12-15页 |
| 第3章 基于分解的 SBT-FC 算法 | 第15-28页 |
| ·理论基础 | 第15-17页 |
| ·SBT-FC 算法 | 第17-23页 |
| ·算法描述 | 第17-21页 |
| ·理论证明 | 第21-23页 |
| ·SBT-FC 的扩展算法 ESBT-FC 算法 | 第23-28页 |
| ·算法描述 | 第23-26页 |
| ·理论证明 | 第26-28页 |
| 第4章 实验结果及结论 | 第28-33页 |
| 第5章 总结及展望 | 第33-35页 |
| 参考文献 | 第35-37页 |
| 致谢 | 第37-38页 |
| 摘要 | 第38-41页 |
| Abstract | 第41-43页 |