| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-14页 |
| ·研究现状和出发点 | 第10-12页 |
| ·本文主要工作 | 第12-14页 |
| 第2章 背景知识介绍 | 第14-16页 |
| ·约束满足问题 | 第14页 |
| ·常用相容性 | 第14-16页 |
| 第3章 新的实用单相容技术：单强边界相容技术 | 第16-28页 |
| ·单强边界相容 SSBC | 第16-18页 |
| ·Light SSBC | 第18-19页 |
| ·实现 Light SSBC 的算法 | 第19-25页 |
| ·算法描述 | 第19-24页 |
| ·算法复杂度分析 | 第24-25页 |
| ·实验结果和分析 | 第25-28页 |
| 第4章 maxRPC 性能改进和分析 | 第28-38页 |
| ·一种新的寻找 PC 见证的方法 | 第28-30页 |
| ·(light)maxRPC 的新算法 | 第30-35页 |
| ·实验结果分析 | 第35-38页 |
| 第5章 混合使用不同相容性的合理机制 | 第38-44页 |
| ·light maxRPC 的分析 | 第38页 |
| ·“失败-较强”原则和 partial maxRPC | 第38-39页 |
| ·混合机制采用的启发式 | 第39-40页 |
| ·混合机制的算法 | 第40-41页 |
| ·实验结果分析 | 第41-44页 |
| 第6章 一个新的变量选择启发式 | 第44-48页 |
| ·启发式回顾 | 第44-45页 |
| ·dom/wdeg 的缺陷分析 | 第45-46页 |
| ·新的启发式 | 第46页 |
| ·实验结果分析 | 第46-48页 |
| 第7章 总结和展望 | 第48-49页 |
| 参考文献 | 第49-52页 |
| 作者简介 | 第52-53页 |
| 硕士期间的研究成果 | 第53-55页 |
| 致谢 | 第55页 |