Space Complexity in Propositional Calculus

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
Files