Boosting SBDS for Partial Symmetry Breaking in Constraint Programming.
Jimmy H. M. LeeZichen ZhuPublished in: AAAI (2014)
Keyphrases
- symmetry breaking constraints
- symmetry breaking
- constraint programming
- constraint satisfaction problems
- combinatorial problems
- constraint satisfaction
- constraint propagation
- global constraints
- integer programming
- column generation
- search strategies
- arc consistency
- search heuristics
- lower bound
- special case
- graph coloring