Lower Bounds for Cutting Planes Proofs with Small Coefficients

Maria Luisa Bonet, Toniann Pitassi, Ran Raz. Lower Bounds for Cutting Planes Proofs with Small Coefficients. Journal of Symbolic Logic, 62(3):708-728, 1997.

Abstract

Abstract is missing.