On the complexity of cutting plane proofs (1987)

by Tur' an
Venue:Discrete Appl. Math