2000 character limit reached
Symmetry Breaking Constraints: Recent Results (1204.3348v1)
Published 16 Apr 2012 in cs.AI and cs.CC
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