Constraint Orbital Branching

8 years 3 months ago
Constraint Orbital Branching
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound procedure. In this work, the orbital branching methodology is extended so that the branching disjunction can be based on an arbitrary constraint. Many important families of integer programs are structured such that small instances from the family are embedded in larger instances. This structural information can be exploited to define a group of strong constraints on which to base the orbital branching disjunction. The symmetric nature of the problems is further exploited by enumerating non-isomorphic solutions to instances of the small family and using these solutions to create a collection of typically easy-to-solve integer programs. The solution of each integer program in the collection is equivalent to solving the original large instance. The effectiveness of this methodology is demonstrated by computing the op...
James Ostrowski, Jeff Linderoth, Fabrizio Rossi, S
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where IPCO
Authors James Ostrowski, Jeff Linderoth, Fabrizio Rossi, Stefano Smriglio
Comments (0)