子句加权论文

基于子句权重求解SAT问题
论文摘要可满足性(SAT)问题一直是电子设计自动化和人工智能领域的一个热点研究问题,因为它在这些领域有着非常广泛的应用。长期以来,人们对此进行了深入地研究,提出了很多解决可满足...