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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.