Efficient Symmetry Breaking for Boolean Satisfiability.

Fadi A. Aloul Karem A. Sakallah Igor L. Markov

Published in: IEEE Trans. Computers (2006)

Keyphrases

symmetry breaking
boolean satisfiability
boolean optimization
constraint programming
sat solving
sat solvers
probabilistic planning
search tree
integer linear programming
branch and bound algorithm
global constraints
graph coloring
sat problem
search algorithm
randomly generated
combinatorial problems