@inproceedings{a293152059b748c386fe4afe396c4b68,
title = "Handling Symmetries in Mixed-Integer Semidefinite Programs",
abstract = "Symmetry handling is a key technique for reducing the running time of branch-and-bound methods for solving mixed-integer linear programs. In this paper, we generalize the notion of (permutation) symmetries to mixed-integer semidefinite programs (MISDPs). We first discuss how symmetries of MISDPs can be automatically detected by finding automorphisms of a suitably colored auxiliary graph. Then known symmetry handling techniques can be applied. We demonstrate the effect of symmetry handling on different types of MISDPs. To this end, our symmetry detection routine is implemented in the state-of-the-art MISDP solver SCIP-SDP. We obtain speed-ups similar to the mixed-integer linear case.",
keywords = "branch-and-bound, mixed-integer semidefinite programming, symmetry handling",
author = "Christopher Hojny and Pfetsch, {Marc E.}",
year = "2023",
doi = "10.1007/978-3-031-33271-5_5",
language = "English",
isbn = "9783031332708",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "69--78",
editor = "Cire, {Andre A.}",
booktitle = "Integration of Constraint Programming, Artificial Intelligence, and Operations Research",
}