Space Complexity in Propositional Calculus

Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson. Space Complexity in Propositional Calculus. SIAM Journal on Computing, 31(4):1184-1211, 2002. [doi]

Abstract

Abstract is missing.