可满足性问题全部解的求解算法

可满足性问题全部解的求解算法

毕忠勤 ¹,陈光喜 ²,单美静 ¹

Algorithm for finding all-solutions of satisfiablity problem

BI Zhong-qin ¹,CHEN Guang-xi ²,SHAN Mei-jing ¹

计算机工程与应用 . 2009, (3): 35 -37 . DOI: 10.3778/j.issn.1002-8331.2009.03.009