基于分组的启发式SAT新算法——DC&DS算法

摘要：

目前提高求解SAT问题完全算法的计算效率问题已成为挑战性研究问题.提出了一种基于启发式分组的SAT完备算法.启发式分组策略将一个全局搜索问题,转为局部搜索问题.并将该策略引入到结合BDD与SAT算法的形式验证中,与一般的启发式SAT算法相比,该算法在求解速度和求解问题的规模等方面都明显地改进了,实验结果表明了该算法的可行性和有效性.

关键词：形式验证、等价性验证、布尔可满足性、二叉判决图

所属期刊栏目：44

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60273081

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

页数：共4页

页码：64-67