可满足性问题的约束规划算法研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 绪论 | 第12-18页 |
| ·研究背景 | 第12-14页 |
| ·SAT问题的有关定义 | 第14页 |
| ·SAT问题规划方法研究及存在的问题 | 第14-16页 |
| ·SAT问题研究方法特点 | 第16-17页 |
| ·研究课题介绍 | 第17-18页 |
| 第二章 SAT问题的已有算法研究 | 第18-37页 |
| ·研究简介 | 第18-19页 |
| ·DPLL算法 | 第19-22页 |
| ·局部搜索算法 | 第22-26页 |
| ·其他算法 | 第26-29页 |
| ·局部搜索算法的实验分析 | 第29-34页 |
| ·算法的分析与比较 | 第34-37页 |
| 第三章 约束规划算法分析 | 第37-48页 |
| ·基本原理 | 第37-38页 |
| ·组件构成 | 第38-43页 |
| ·变量压缩事件分析 | 第43-46页 |
| ·总结 | 第46-48页 |
| 第四章 约束规划算法的UML建模 | 第48-55页 |
| ·UML建模语言介绍 | 第48-50页 |
| ·约束规划算法的建模过程 | 第50-53页 |
| ·约束过滤器的可扩展性分析 | 第53-54页 |
| ·总结 | 第54-55页 |
| 第五章 约束规划算法的FLYING-TT平台 | 第55-64页 |
| ·约束过滤器 | 第55-59页 |
| ·分支策略 | 第59-61页 |
| ·搜索策略 | 第61-63页 |
| ·内存分配策略 | 第63-64页 |
| 第六章 约束规划算法的实际应用分析 | 第64-74页 |
| ·约束规划模型的建立 | 第64-68页 |
| ·约束规划算法求解SAT问题 | 第68-70页 |
| ·实验及分析 | 第70-73页 |
| ·总结 | 第73-74页 |
| 第七章 结论 | 第74-75页 |
| 参考文献 | 第75-78页 |
| 附录 | 第78-79页 |
| 致谢 | 第79-80页 |
| 研究成果及发表的学术论文 | 第80-81页 |
| 作者简介 | 第81-82页 |
| 硕士研究生学位论文答辩委员会决议书 | 第82-83页 |
