“Binarize and Project” to generate cuts for general mixed-integer programs - Roy, Jean-Sébastien (Algorithmic Operations Research, 2007)