Upper and Lower Bounds for Tree-Like Cutting Planes Proofs

Russell Impagliazzo, Toniann Pitassi, Alasdair Urquhart

Browse the full LICS paper archive.