Login / Signup

Lower Bounds for Cutting Planes Proofs with Small Coefficients.

Maria Luisa BonetToniann PitassiRan Raz
Published in: J. Symb. Log. (1997)
Keyphrases