基于回归分析和DCM模型的可满足性问题求解算法

摘要	第1-7页
ABSTRACT	第7-11页
第1章 可满足性问题的背景	第11-16页
·可满足性问题的定义	第11-12页
·可满足性问题的研究现状	第12-13页
·可满足性问题的应用及意义	第13-16页
第2章 可满足性问题的各种求解算法	第16-28页
·DPLL算法	第16-26页
·冲突驱动型DPLL算法	第16-21页
·前向型DPLL算法	第21-26页
·局部搜索算法	第26-27页
·轮廓特征求解算法	第27-28页
第3章 基于回归分析的求解算法	第28-32页
·回归分析算法	第28-29页
·回归分析模型求解器的构造	第29-32页
第4章 基于DCM模型的求解算法	第32-35页
·DCM模型结构	第32-33页
·DCM模型求解器的构造	第33-35页
第5章 两种模型混合的求解算法	第35-37页
·两种模型混合算法	第35-36页
·两种模型混合求解器的构造	第36-37页
第6章 实验研究	第37-41页
·试验环境	第37页
·试验结果分析	第37-41页
第7章 总结展望	第41-43页
·轮廓特征求解算法的总结	第41页
·未来研究工作展望	第41-43页
参考文献	第43-47页
附录1 回归分析模型的回归系数	第47-48页
作者在研究生期间的研究成果	第48-49页
致谢	第49页