一个求解SAT问题的新算法

摘要：

基于对完备算法和非完备算法的研究,结合完备算法能够进行完备求解和不完备算法能够以较快速度进行求解的优点.提出一种新的求解SAT问题的算法--对子句分组、对分组求解的算法.该算法完备地对SAT子句分组,同时在分组求解时使用局部搜索方法以较快的速度求解.经过实验验证,结果表明该方法能明显提高求解效率.

关键词：完备算法、非完备算法、局部搜索、SAT问题、效率

所属期刊栏目：6

分类号：TP311(计算技术、计算机技术)

资助基金：河南省青年骨干教师资助计划;河南省重点科技攻关项目资助072102210029:河南工业大学高层次人才基金项目资助2007BS019;河南工业大学科研基金项目资助07XGG030,08XZZ022

在线出版日期：2010-08-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：4294-4296