Intermediate integer programming representations using value disjunctions

Matthias Köppe, Quentin Louveaux, Robert Weismantel

We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set o…