Symmetry Breaking Constraints: Recent Results
arXiv:1204.3348
Abstract
Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that eliminate symmetric solutions. We survey recent results in this area, focusing especially on two common and useful cases: symmetry breaking constraints for row and column symmetry, and symmetry breaking constraints for eliminating value symmetry
To appear in Proceedings of Twenty-Sixth Conference on Artificial Intelligence (AAAI-12)