Warped Landscapes and Random Acts of SAT Solving.

Dave A. D. Tompkins Holger H. Hoos

Published in: AI&M (2004)

Keyphrases

sat solving
sat solvers
boolean satisfiability
symmetry breaking
randomly generated
sat problem
sat encodings
logic programs
belief revision
search tree