Boolean Equi-propagation for Optimized SAT Encoding

Amit Metodi Michael Codish Vitaly Lagoon Peter J. Stuckey

Published in: CoRR (2011)

Keyphrases

sat encodings
pseudo boolean constraints
sat solvers
sat solving
boolean functions
combinatorial problems
optimal solution
multi objective
dynamic programming
domain specific
constraint satisfaction problems
integer linear programming
graph coloring