Symmetry declarations for MiniZinc

Abstract

Symmetry is a common property of man-made systems, appearing frequently in interesting problems in research and industry. When modelling constraint satisfaction and optimisation problems, underlying symmetries can make the search for solutions or optimal solutions much harder. In contrast, when symmetries are known, they can be used to speed up solving by avoiding considering symmetric parts of the solution space. This can be achieved by using static or dynamic symmetry breaking approaches. Unfortunately symmetry breaking approaches are hard to compare. Each method is typically only implemented in one or two systems, and symmetry papers use different problems to compare and illustrate their ..