ISSN 1000-1239 CN 11-1777/TP
结合互补度的基于扩展规则#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