Space Complexity in Propositional Calculus
Alekhnovich, Michael, Ben-Sasson, Eli, Razborov, Alexander A., Wigderson, AviVolume:
31
Language:
english
Journal:
SIAM Journal on Computing
DOI:
10.1137/s0097539700366735
Date:
January, 2002
File:
PDF, 311 KB
english, 2002