Schreier-Sims table – Optimization Online

Symmetry Presolving for Mixed-Integer Programs: Binary Structure Preservation and Relations to Orbital Branching

Published: 2026/10/16

Integer Programming orbital branching, Schreier-Sims table, set covering problem, stable set problem, symmetry handling

This paper investigates a presolving method for handling symmetries in mixed-integer programs, based on inequalities computed from so-called Schreier-Sims tables. We show that an iterative application of this method together with merging variables produces an instance for which the symmetry group is trivial. We then prove that the problem structure can be preserved for certain … Read more

Structure-Preserving Symmetry Presolving for Mixed-Binary Linear Problems

Published: 2025/11/19, Updated: 2026/03/10

(Mixed) Integer Linear Programming, 0-1 Programming Schreier-Sims table, stable set problem, symmetry handling

This paper investigates a presolving method for handling symmetries in mixed-binary programs, based on inequalities computed from so-called Schreier-Sims tables. We show that an iterative application of this method together with merging variables will produce an instance for which the symmetry group is trivial. We then prove that the problem structure can be preserved for … Read more