结合互补度的基于扩展规则#SAT问题求解方法
欧阳丹彤,贾凤雨,刘思光,张立明
An Algorithm Based on Extension Rule For Solving #SAT Using Complementary Degree
Ouyang Dantong, Jia Fengyu, Liu Siguang, Zhang Liming
计算机研究与发展
.
2016, (7): 1596
-1604
.
DOI: 10.7544/issn1000-1239.2016.20150032