Automatic Generation of Polynomial Symmetry Breaking Constraints

Madalina Erascu, Johannes Middeke

Symmetry in integer programming causes redundant search and is often handled with symmetry breaking constraints that remove as many equivalent solutions as possible. We propose an…