Space Complexity in Propositional Calculus

Submitted by smcneil on Mon, 2012-01-16 00:00
Author: 
M. Alekhnovitch
E. Ben-Sasson
A. Razborov
A. Wigderson
Publication: 
Society for Industrial and Applied Mathematics (SIAM) Journal of Computing, vol. 31, no. 4, pp. 1184-1211, 2001. Preliminary version appeared in Symposium on Theory of Computing (STOC) 2000.
Year: 
2001
Abstract: 
http://www.math.ias.edu/~avi/PUBLICATIONS/ABSTRACT/abra01.pdf
Hide Files
File: 
Journal version (pdf)
Journal version (ps)
bibTeX