Formalizing Dangerous SAT Encodings.

Alexander Hertel Philipp Hertel Alasdair Urquhart

Published in: SAT (2007)

Keyphrases

sat encodings
sat solvers
combinatorial problems
graph coloring
constraint satisfaction problems
linear arithmetic constraints
planning problems
constraint satisfaction
solving problems
integer linear programming
computational complexity
search space
special case
genetic programming
cost function