Short Proofs are Narrow -- Resolution made Simple

Submitted by smcneil on Mon, 2012-01-16 00:00
Author: 
E. Ben-Sasson
A. Wigderson
Publication: 
Proceedings of the 31th STOC, pp. 517-526, 1999.
Journal of the ACM, vol. 48, no. 2, pp. 149-169, 2001.
ECCC Report TR99-022, 1999.
Year: 
1999
Abstract: 
http://www.math.ias.edu/~avi/PUBLICATIONS/ABSTRACT/bw02.pdf
Files
File: 
Proceedings version (pdf)
Proceedings version (ps)
Journal version (pdf)
Journal version (ps)