Symmetry Breaking in Soft CSPs.
Stefano BistarelliJerome KelleherBarry O'SullivanPublished in: SGAI Conf. (2003)
Keyphrases
- symmetry breaking
- constraint programming
- constraint satisfaction problems
- quantified boolean formulae
- global constraints
- search tree
- boolean satisfiability
- integer linear programming
- graph coloring
- symmetry breaking constraints
- constraint satisfaction
- sat solvers
- arc consistency
- combinatorial problems
- propositional satisfiability
- search space