ROY, J.-S. “Binarize and Project” to generate cuts for general mixed-integer programs. Algorithmic Operations Research, v. 2, n. 1, 7 Feb. 2007.