In this note, we describe an efficient algorithm for separating a class of inequalities that includes the type-I odd-cycle inequalities for a binary-encoded edge-coloring formulation.
Keywords edge coloring - integer program - binary encoding - odd cycle - separation