东北大学学报（自然科学版）
两种新的基于扩展规则#SAT问题求解算法
吕帅， 张桐搏， 王强， 刘磊
Two Novel Algorithms Based on Extension Rule for Solving #SAT Problem
LYU Shuai， ZHANG Tong-bo， WANG Qiang， LIU Lei
东北大学学报:自然科学版 . 2019, (5): 630 -635 .  DOI: 10.12068/j.issn.1005-3026.2019.05.005