Boolean Equi-propagation for Optimized SAT Encoding.

Amit Metodi Michael Codish Vitaly Lagoon Peter J. Stuckey

Published in: CP (2011)

Keyphrases

sat encodings
pseudo boolean constraints
boolean functions
sat solvers
integer linear programming
sat solving
temporal reasoning
constraint satisfaction problems
combinatorial problems
graph coloring