QUBO Formulations for MIP Symmetry Detection

Alexander While, Chen Chen

Formulation symmetry in mixed-integer programming (MIP) can hinder solver performance by inducing redundant search, but detecting such symmetries is also a significant computationa…