Roy, J.-S. “Binarize and Project” to Generate Cuts for General Mixed-Integer Programs. AOR 2007, 2.