Login / Signup
A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree.
Naiyu Tian
Dantong Ouyang
Fengyu Jia
Meng Liu
Liming Zhang
Published in:
IEEE Access (2018)
Keyphrases
</>
dynamic programming
learning algorithm
optimal solution
computational complexity
search space
simulated annealing
randomly generated
objective function
np hard
orders of magnitude
combinatorial optimization
functional dependencies
search strategy