E Ben-Sasson - Proceedings of the thiry-fourth annual ACM symposium …, 2002 - dl.acm.org
We investigate tradeoffs of various important complexity measures such as size, space and
width. We show examples of CNF formulas that have optimal proofs with respect to any one …