A Unified Framework for Symmetry Handling

Handling symmetries in optimization problems is essential for devising efficient solution methods. In this article, we present a general framework that captures many of the already existing symmetry handling methods (SHMs). While these SHMs are mostly discussed independently from each other, our framework allows to apply different SHMs simultaneously and thus outperforming their individual effect. Moreover, most existing SHMs only apply to binary variables. Our framework allows to easily generalize these methods to general variable types. Numerical experiments confirm that our novel framework is superior to the state-of-the-art SHMs implemented in the solver SCIP.



View A Unified Framework for Symmetry Handling