Friday, 15:45 - 16:10 h, Room: H 2013

 

Marc Pfetsch
A computational comparison of symmetry handling methods in integer programming

Coauthor: Thomas Rehn

 

Abstract:
During the past years several methods to handle symmetries in integer programs have been introduced. This includes isomorphism pruning by Margot, orbital branching by Ostrowski et al., symmetry breaking constraints by Liberti, etc. In this talk we present a computational comparison of these different approaches in the framework SCIP. We discuss implementation issues like symmetry detection and the detection of interesting subgroups of the symmetry group as well as their exploitation during the solution process. The tests are run on the highly symmetric instances of Margot and on the MIPLIB 2010. We discuss the results of these test runs, which, as can be expected, depend on the instances at hand. We also compare two different ways to detect symmetry via graph isomorphism.

 

Talk 2 of the invited session Fri.3.H 2013
"Symmetry issues in integer programming" [...]
Cluster 11
"Integer & mixed-integer programming" [...]

 

  Payday Loans In Florida. If you have already decided to take Levitra, be sure to consult a doctor, you don't have any contraindications and act strictly due to a prescription.