Efficient Symmetry Breaking for Boolean Satisfiability.
Fadi A. AloulKarem A. SakallahIgor L. MarkovPublished in: IJCAI (2003)
Keyphrases
- symmetry breaking
- boolean satisfiability
- constraint programming
- boolean optimization
- sat solving
- sat solvers
- global constraints
- integer linear programming
- search tree
- constraint satisfaction problems
- randomly generated
- sat problem
- branch and bound algorithm
- graph coloring
- probabilistic planning
- pseudo boolean
- combinatorial problems
- constraint propagation
- search space
- integer programming
- phase transition