Shatter: efficient symmetry-breaking for boolean satisfiability.
Fadi A. AloulIgor L. MarkovKarem A. SakallahPublished in: DAC (2003)
Keyphrases
- symmetry breaking
- boolean satisfiability
- constraint programming
- boolean optimization
- integer linear programming
- sat solving
- global constraints
- branch and bound algorithm
- search tree
- sat solvers
- probabilistic planning
- constraint satisfaction problems
- graph coloring
- sat problem
- randomly generated
- max sat
- combinatorial problems
- phase transition
- search space