Sign in
A comparative runtime analysis of heuristic algorithms for satisfiability problems.
Yuren Zhou
Jun He
Qing Nie
Published in:
Artif. Intell. (2009)
Keyphrases
</>
satisfiability problem
np complete
genetic algorithm
search algorithm