求解SAT问题的算法的研究进展 (Research Advance of SAT Solving Algorithm).

Ying Guo Changsheng Zhang Bin Zhang

Published in: 计算机科学 (2016)

Keyphrases

sat solving
dynamic programming
search space
np hard
learning algorithm
optimal solution
computational complexity
special case
sat problem
propositional satisfiability
objective function
evolutionary algorithm
genetic algorithm
search strategy
phase transition
sat solvers
randomly generated
boolean satisfiability