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


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

Coauthor: Thomas Rehn


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" [...]


  Florida Loans Online can help you in trying times, but be sure to know the laws necessary for your loan application. When the problem is not treated, it can ruin intimate life of couples and destroy their relationships. Viagra Professional was produces not to let this happen. Professional means highly qualified. It strikes the target and doesn't allow a disorder to occupy man's body.