Exploiting symmetries in mathematical programming via orbital independence

DOI10.1007/S10479-019-03145-XzbMATH Open1467.90051OpenAlexW2911618082WikidataQ128588799 ScholiaQ128588799MaRDI QIDQ829174FDOQ829174

Authors: 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

Recommendations

• Orbital independence in symmetric mathematical programs
• Stabilizer-based symmetry breaking constraints for mathematical programs
• Orbital branching
• Orbital Branching
• Reformulations in mathematical programming: automatic symmetry detection and exploitation

zbMATH Keywords

quadratic programmingcombinatorial optimizationgroup theorysymmetry breaking

Mathematics Subject Classification ID

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

Cites Work

• SCIP: solving constraint integer programs
• Practical graph isomorphism. II.
• Title not available (Why is that?)
• Quadratic knapsack problems
• Packing and partitioning orbitopes
• Title not available (Why is that?)
• Orbital branching
• The reformulation-optimization software engine
• Symmetry in mathematical programming
• Title not available (Why is that?)
• Reformulations in mathematical programming: automatic symmetry detection and exploitation
• Extended formulations for packing and partitioning orbitopes
• Reformulations in Mathematical Programming: Definitions and Systematics
• Pruning by isomorphism in branch-and-cut
• Exploiting orbits in symmetric ILP
• Fundamental Domains for Integer Programs with Symmetries
• Formulation symmetries in circle packing
• Stabilizer-based symmetry breaking constraints for mathematical programs
• A computational comparison of symmetry handling methods for mixed integer programs
• Orbital shrinking: theory and applications
• Orbital shrinking
• Orbital independence in symmetric mathematical programs

Cited In (7)

• Enabling research through the SCIP Optimization Suite 8.0
• Orbital independence in symmetric mathematical programs
• Orbital geometry and group majorisation in optimisation
• Modified orbital branching for structured symmetry with an application to unit commitment
• On the geometry of symmetry breaking inequalities
• On the geometry of symmetry breaking inequalities
• Stabilizer-based symmetry breaking constraints for mathematical programs

Uses Software

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

This page was built for publication: Exploiting symmetries in mathematical programming via orbital independence

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