Short proofs are narrow|resolution made simple (0)

by E Ben-Sasson, A Wigderson
Venue:Journal of the ACM