Automated Discovery of Composite SAT Variable-Selection Heuristics.

Alex S. Fukunaga

Published in: AAAI/IAAI (2002)

Keyphrases

automated discovery
satisfiability problem
sat solvers
knowledge discovery
sat problem
boolean satisfiability
search algorithm
phase transition
propositional satisfiability
stochastic local search algorithms
np complete
case study
stochastic local search
sat solving