提出了一种启发式极性决策的可满足性问题(SAT)新算法.该算法继承了当前SAT解决器的许多策略:快速BCP、子句记录、重启动搜索等.同......

结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全......

为解决可满足性（safefiaWlky problem, SAT）问题求解过程中分支决策效率不高的问题,提出了一种基 于逻辑演绎分组（logical deduction ......