Automatic Generation of Symmetry-Breaking Constraints
COCOA 2008 Proceedings of the 2nd international conference on Combinatorial Optimization and Applications
Solving a multicoloring problem with overlaps using integer programming
Discrete Applied Mathematics
| Hi-index | 0.00 |
We further develop the 0/1 ILP formulation of Lee for edge coloring where colors are encoded in binary. With respect to that formulation, our main contributions are (i) an efficient separation algorithm for general block inequalities, (ii) an efficient LP-based separation algorithm for stars (i.e., the all-different polytope), (iii) an introduction of matching inequalities, (iv) an introduction of switched path inequalities and their efficient separation, (v) a complete description for paths, and (vi) the promising computational results.