• DOI:10.1007/978-3-540-85097-7_31
Corpus ID: 1914238

Automatic Generation of Symmetry-Breaking Constraints

@inproceedings{Liberti2008AutomaticGO,
  title={Automatic Generation of Symmetry-Breaking Constraints},
  author={Leo Liberti},
  booktitle={COCOA},
  year={2008}
}

Leo Liberti

Published in COCOA 2008

Mathematics, Computer Science

View via Publisher

lix.polytechnique.fr

Save to Library

Create Alert

Cite

Launch Research Feed

Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of solution symmetries, and two different types of symmetry-breaking constraints to eliminate these symmetries at the modelling level. We discuss some preliminary computational results.