Intermediate integer programming representations using value disjunctions. - Köppe, Matthias; Louveaux, Quentin; Weismantel, Robert (Discret. Optim., 2008)