DMCA

Short Proofs are Narrow - Resolution made Simple (2000)

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