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