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
  • 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. 
    25 Citations

    Tables and Topics from this paper

    Formulation symmetries in circle packing
    • 22
    • PDF
    On the impact of symmetry-breaking constraints on spatial Branch-and-Bound for circle packing in a square
    • 22
    • PDF
    Reformulations in mathematical programming: automatic symmetry detection and exploitation
    • Leo Liberti
    • Mathematics, Computer Science
    • Math. Program.
    • 2012
    • 60
    • PDF
    A computational comparison of symmetry handling methods for mixed integer programs
    • 17
    • Highly Influenced
    • PDF
    Stabilizer-based symmetry breaking constraints for mathematical programs
    • 16
    • PDF
    Data Structures for Representing Symmetry in Quadratically Constrained Quadratic Programs
    • PDF
    Symmetry in Mathematical Programming
    • 29
    • PDF

    References

    SHOWING 1-10 OF 23 REFERENCES
    Exploiting orbits in symmetric ILP
    • F. Margot
    • Mathematics, Computer Science
    • Math. Program.
    • 2003
    • 130
    • PDF
    Symmetry Definitions for Constraint Satisfaction Problems
    • 68
    • PDF
    Pruning by isomorphism in branch-and-cut
    • F. Margot
    • Mathematics, Computer Science
    • Math. Program.
    • 2002
    • 83
    Fundamental Domains for Integer Programs with Symmetries
    • 31
    • PDF
    Improving Discrete Model Representations via Symmetry Considerations
    • 211
    Symmetric ILP: Coloring and small integers
    • F. Margot
    • Mathematics, Computer Science
    • Discret. Optim.
    • 2007
    • 37
    Constructive Group Relaxations for Integer Programs
    • 10
    Packing and partitioning orbitopes
    • 97
    • PDF
    Small covering designs by branch-and-cut
    • F. Margot
    • Mathematics, Computer Science
    • Math. Program.
    • 2003
    • 46