On the complexity of cutting-plane proofs

William Cook, Collette R. Coullard, György Turán. On the complexity of cutting-plane proofs. Discrete Applied Mathematics, 18(1):25-38, 1987. [doi]

Abstract

Abstract is missing.