Journal of Northeastern University(Natural Science)
Two Novel Algorithms Based on Extension Rule for Solving #SAT Problem
LYU Shuai， ZHANG Tong-bo， WANG Qiang， LIU Lei
Journal of Northeastern University Natural Science . 2019, (5): 630 -635 .  DOI: 10.12068/j.issn.1005-3026.2019.05.005