![](/img/cover-not-exists.png)
A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree
Tian, Naiyu, Ouyang, Dantong, Jia, Fengyu, Liu, Meng, Zhang, LimingVolume:
6
Year:
2018
Language:
english
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2018.2855739
File:
PDF, 3.39 MB
english, 2018