基于子句权重求解SAT问题

摘要	第1-5页
Abstract	第5-6页
引言	第6-7页
第一章 可满足性问题基础知识	第7-9页
·合取范式(CNF)和析取范式(DNF)	第7页
·什么是可满足性问题(SAT)	第7-8页
·小结	第8-9页
第二章 可满足性问题的应用	第9-14页
·SAT问题的广泛应用	第9页
·SAT问题在形式验证领域的应用	第9-12页
·逻辑电路转化为CNF	第12-13页
·小结	第13-14页
第三章 可满足问题的算法及其解决器	第14-31页
·SAT问题的定义	第14页
·SAT问题算法概述	第14-15页
·BDD算法	第15-22页
·DPLL算法	第22-25页
·ZCHAFF解决器	第25-30页
·小结	第30-31页
第四章 基于子句权重求解可满足性问题	第31-47页
·传统决策方法介绍	第31-32页
·基于子句权重的决策策略	第32-37页
·基于子句权重求解SAT问题	第37-41页
·算法流图	第38-39页
·基本数据结构	第39-41页
·算法小结	第41页
·实验结果	第41-45页
·实验数据	第41-45页
·实验结果小结	第45页
·小结	第45-47页
第五章 总结与展望	第47-48页
·工作总结	第47页
·未来工作展望	第47-48页
参考文献	第48-50页
致谢	第50-51页