Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums.
Brahim HnichZeynep KiziltanToby WalshPublished in: AI&M (2004)
Keyphrases
- symmetry breaking
- symmetry breaking constraints
- constraint programming
- global constraints
- pseudo boolean
- constraint satisfaction problems
- search tree
- combinatorial problems
- boolean satisfiability
- constraint satisfaction
- integer linear programming
- graph coloring
- propositional satisfiability
- knowledge representation
- constraint propagation