文摘
英文文摘
声明
第一章前言
1.1 SAT问题研究现状与背景
1.2论文选题的依据及意义
第二章预备知识
2.1命题逻辑
2.2 DP算法简介
2.3计算复杂性简介
第三章可满足性问题概述和传统算法简介
2.1可满足性问题概述
2.2 传统算法简介
2.2.1完备性算法
2.2.2局部搜索算法
第四章算法设计
4.1算法中的一些基本概念
4.2算法的基本思路
4.3算法详细设计
4.4冲突消解
4.5算法模块实现
第五章实验数据和结论
5.1实验数据与结论
5.2 存在的问题
5.3 后续工作
致谢
参考文献
附录