Extended Formulations via Decision Diagrams

Yuta Kurokawa, Ryotaro Mitsuboshi, Haruki Hamasaki +3

We propose a general algorithm of constructing an extended formulation for any given set of linear constraints with integer coefficients. Our algorithm consists of two phases: firs…