A computational comparison of symmetry handling methods for mixed integer programs
type: Item
instance of: scholarly article
title: A computational comparison of symmetry handling methods for mixed integer programs
zbMATH Open document ID: 1411.90233
author: Marc E. Pfetsch
author: Thomas Rehn
published in: Mathematical Programming Computation
publication date: 2019-05-03T00:00:00Z
Mathematics Subject Classification ID: 90C11
Mathematics Subject Classification ID: 90C57
zbMATH DE Number: 7050495
zbMATH Keywords: symmetry
zbMATH Keywords: mixed integer program
zbMATH Keywords: branch-and-cut
zbMATH Keywords: isomorphism pruning
zbMATH Keywords: orbital branching
describes a project that uses: MIPLIB
describes a project that uses: MIPLIB2003
describes a project that uses: PermLib
describes a project that uses: Saucy
describes a project that uses: nauty
describes a project that uses: SCIP
describes a project that uses: bliss
describes a project that uses: GAP
MaRDI profile type: Publication
full work available at URL: s12532-018-0140-y
OpenAlex ID: W2811231250
cites work: Conflict analysis in mixed integer programming
cites work: SCIP: solving constraint integer programs
cites work: MIPLIB 2003
cites work: Conflict graphs in solving integer programming problems
cites work: Detecting Orbitopal Symmetries
cites work: Algorithms for highly symmetric linear and integer programs
cites work: Computing symmetry groups of polyhedra
cites work: Extended Formulations for Packing and Partitioning Orbitopes
cites work: Orbital Shrinking
cites work: Fundamental Domains for Integer Programs with Symmetries
cites work: Symmetry groups, semidefinite programs, and sums of squares
cites work: Q5168081
cites work: Exploiting symmetry in integer convex optimization using core points
cites work: On lattice-free orbit polytopes
cites work: The NP-completeness column
cites work: Packing and partitioning orbitopes
cites work: Orbitopal fixing
cites work: Q4675497
cites work: Automatic Generation of Symmetry-Breaking Constraints
cites work: Reformulations in mathematical programming: automatic symmetry detection and exploitation
cites work: Stabilizer-based symmetry breaking constraints for mathematical programs
cites work: Pruning by isomorphism in branch-and-cut
cites work: Exploiting orbits in symmetric ILP
cites work: Small covering designs by branch-and-cut
cites work: Symmetric ILP: Coloring and small integers
cites work: On solving a hard quadratic 3-dimensional assignment problem
cites work: Orbital Branching
cites work: Orbital branching
cites work: Facets and Rank of Integer Polyhedra
cites work: Automatic Detection of Variable and Value Symmetries
cites work: The graph isomorphism disease
cites work: Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods
cites work: Preprocessing and Probing Techniques for Mixed Integer Programming Problems
cites work: Q4787523
cites work: Improving Discrete Model Representations via Symmetry Considerations
Wikidata QID: Q129575088
DOI: 10.1007/S12532-018-0140-Y
description: scientific article; zbMATH DE number 7050495