Short Proofs are Narrow - Resolution made Simple (2000)

Cached

Download Links

by Eli Ben-sasson , Avi Wigderson
Venue:Journal of the ACM
Citations:179 - 15 self