Automatic Generation of Symmetry-Breaking Constraints

DOI10.1007/978-3-540-85097-7_31MaRDI QIDQ5505671zbMATH OpenOpenAlexFDO

Authors Leo Liberti

Publication date 27 January 2009

Published in Combinatorial Optimization and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85097-7_31

Mathematics Subject Classification ID

Mixed integer programming (90C11)

Recommendations

• Symmetries of symmetry breaking constraints
• Symmetry breaking revisited
• scientific article; zbMATH DE number 2084699
• Recent Advances in Constraints
• Stabilizer-based symmetry breaking constraints for mathematical programs

Cites work

• All-different polytopes
• Compact mathematical formulation for graph partitioning
• Constructive Group Relaxations for Integer Programs
• Editorial: Reformulation techniques in mathematical programming
• Exploiting orbits in symmetric ILP
• Fundamental Domains for Integer Programs with Symmetries
• scientific article; zbMATH DE number 193411 (Why is no real title available?)
• Improving Discrete Model Representations via Symmetry Considerations
• On a binary-encoded ILP coloring formulation
• Orbital Branching
• Packing and partitioning orbitopes
• Pruning by isomorphism in branch-and-cut
• Small covering designs by branch-and-cut
• Some polyhedra related to combinatorial problems
• Symmetric ILP: Coloring and small integers
• Symmetry Definitions for Constraint Satisfaction Problems

Cited in

(17)

• A computational comparison of symmetry handling methods for mixed integer programs
• Orbital shrinking: theory and applications
• Polytopes associated with symmetry handling
• Formulation symmetries in circle packing
• Symmetry in mathematical programming
• Solving lot-sizing problems on parallel identical machines using symmetry-breaking constraints
• Symmetries of symmetry breaking constraints
• Reformulations in Mathematical Programming: Definitions and Systematics
• Automating Symmetry-Breaking Calculations
• Stabilizer-based symmetry breaking constraints for mathematical programs
• Recent Advances in Constraints
• A New Binary Programming Formulation and Social Choice Property for Kemeny Rank Aggregation
• Reformulations in mathematical programming: automatic symmetry detection and exploitation
• Handling sub-symmetry in integer programming using activation handlers
• A unified framework for symmetry handling
• Symmetry detection in mixed-integer conic programming
• Detecting and handling reflection symmetries in mixed-integer (nonlinear) programming and beyond

Describes a project that uses

Uses Software

• AMPL
• GAP
• CPLEX
• MIPLIB2003

This page was built for publication: Automatic Generation of Symmetry-Breaking Constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505671)