Packing, partitioning, and covering symresacks

DOI10.1016/J.DAM.2020.03.002MaRDI QIDQ2192122zbMATH OpenOpenAlexFDO

Authors Christopher Hojny

Publication date 29 June 2020

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.dam.2020.03.002

zbMATH Keywords

symmetryinteger programmingbranch-and-cutcomplete linear descriptiontotal dual integrality

Mathematics Subject Classification ID

Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Integer programming (90C10)

Recommendations

• Symmetries in binary programs. A polyhedral perspective
• Polytopes associated with symmetry handling
• Packing and partitioning orbitopes
• Exploiting orbits in symmetric ILP
• Pruning by isomorphism in branch-and-cut

Cites work

• scientific article; zbMATH DE number 1330032 (Why is no real title available?)
• scientific article; zbMATH DE number 2107164 (Why is no real title available?)
• A polyhedral investigation of star colorings
• Branch-cut-and-propagate for the maximum \(k\)-colorable subgraph problem with symmetry
• Branched polyhedral systems
• Canonical Cuts on the Unit Hypercube
• Computing convex hulls and counting integer points with \texttt{polymake}
• Describing orbitopes by linear inequalities and projection based tools.
• Disjunctive programming: Properties of the convex hull of feasible points
• Dynamic symmetry-breaking for Boolean satisfiability
• Efficient computation of sparse hessians using coloring and automatic differentiation
• Exploiting orbits in symmetric ILP
• Extended formulations in combinatorial optimization
• Fundamental Domains for Integer Programs with Symmetries
• Geometric algorithms and combinatorial optimization
• New Acyclic and Star Coloring Algorithms with Application to Computing Hessians
• Orbitopal fixing
• Packing and partitioning orbitopes
• Polyhedral Characterization of Discrete Dynamic Programming
• Polytopes associated with symmetry handling
• Practical graph isomorphism. II.
• Pruning by isomorphism in branch-and-cut
• Reformulations in mathematical programming: automatic symmetry detection and exploitation
• Symmetry in integer linear programming
• The complexity of cover inequality separation
• The complexity of symmetry-breaking formulas
• The maximum k-colorable subgraph problem and orbitopes

Cited in

(1)

• Polytopes associated with symmetry handling

Describes a project that uses

Uses Software

• bliss
• Traces
• ColPack
• MIPLIB
• SCIP
• nauty

This page was built for publication: Packing, partitioning, and covering symresacks

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