Exploiting symmetries in mathematical programming via orbital independence

DOI10.1007/s10479-019-03145-xzbMath1467.90051OpenAlexW2911618082WikidataQ128588799 ScholiaQ128588799MaRDI QIDQ829174

Leo Liberti, Gustavo Fruet Dias

Publication date: 5 May 2021

Published in: Annals of Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10479-019-03145-x

zbMATH Keywords

quadratic programmingcombinatorial optimizationsymmetry breakinggroup theory

Mathematics Subject Classification ID

Quadratic programming (90C20) Combinatorial optimization (90C27)

Related Items

On the geometry of symmetry breaking inequalities, On the geometry of symmetry breaking inequalities

Uses Software

• GAP
• nauty
• SCIP
• AMPL
• CPLEX
• Traces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stabilizer-based symmetry breaking constraints for mathematical programs
• Orbital branching
• Reformulations in mathematical programming: automatic symmetry detection and exploitation
• SCIP: solving constraint integer programs
• Packing and partitioning orbitopes
• Pruning by isomorphism in branch-and-cut
• Exploiting orbits in symmetric ILP
• A computational comparison of symmetry handling methods for mixed integer programs
• Orbital shrinking: theory and applications
• Practical graph isomorphism. II.
• Symmetry in Mathematical Programming
• Orbital Shrinking
• Extended Formulations for Packing and Partitioning Orbitopes
• Orbital Independence in Symmetric Mathematical Programs
• Fundamental Domains for Integer Programs with Symmetries
• Reformulations in Mathematical Programming: Definitions and Systematics
• Quadratic knapsack problems
• The Reformulation-Optimization Software Engine