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]

Authors

William Cook

This author has not been identified. It may be one of the following persons: Look up 'William Cook' in Google

Collette R. Coullard

This author has not been identified. Look up 'Collette R. Coullard' in Google

György Turán

This author has not been identified. Look up 'György Turán' in Google