A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree. - Naiyu Tian; Dantong Ouyang; Fengyu Jia; Meng Liu; Liming Zhang 005 (IEEE Access, 2018)