The Complexity of Symmetry Breaking Beyond Lex-Leader

Markus Anders, Sofia Brenner, Gaurav Rattan

Symmetry breaking is a widely popular approach to enhance solvers in constraint programming, such as those for SAT or MIP. Symmetry breaking predicates (SBPs) typically impose an o…