| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第1章 绪论 | 第7-10页 |
| ·研究背景及其现状 | 第7-8页 |
| ·本文主要内容 | 第8-10页 |
| 第2章 约束可满足问题背景知识 | 第10-17页 |
| ·约束可满足问题 | 第10-11页 |
| ·回溯搜索算法 | 第11-12页 |
| ·相容性推理技术 | 第12-14页 |
| ·简单表缩减算法 | 第14-17页 |
| 第3章 优化用于求解约束可满足问题的eSTR算法 | 第17-31页 |
| ·eSTR算法 | 第17-20页 |
| ·应用PWsup数据结构 | 第20-22页 |
| ·极小约束范围 | 第22-26页 |
| ·实验结果 | 第26-29页 |
| ·小结 | 第29-31页 |
| 第4章 应用比特表示来优化STR算法 | 第31-47页 |
| ·STR3算法 | 第31-32页 |
| ·比特表 | 第32-34页 |
| ·比特表上的GAC算法STRbit | 第34-38页 |
| ·笛卡尔积压缩表 | 第38-39页 |
| ·比特笛卡尔积压缩表 | 第39页 |
| ·在比特笛卡尔积压缩表上维持GAC | 第39-42页 |
| ·实验结果 | 第42-46页 |
| ·小结 | 第46-47页 |
| 工作总结和展望 | 第47-49页 |
| 参考文献 | 第49-52页 |
| 作者简介 | 第52-53页 |
| 致谢 | 第53页 |