Supersymmetric Modeling for Local Search

A previous paper showed that adding binary symmetry breaking constraints to a model can degrade local search performance. This paper shows that even unary constraints are not necessarily beneficial because they can transform solutions into local minima. Furthermore, performance can be improved by the reverse of symmetry breaking: using a supersymmetric model with extra symmetry. Some improved results for the highly symmetrical Social Golfer problem are presented.