Roy, J.-S. 2007. “Binarize and Project” to generate cuts for general mixed-integer programs. Algorithmic Operations Research. 2, 1 (Feb. 2007).