Login / Signup
Space complexity in propositional calculus.
Michael Alekhnovich
Eli Ben-Sasson
Alexander A. Razborov
Avi Wigderson
Published in:
STOC (2000)
Keyphrases
</>
space complexity
propositional calculus
worst case
arc consistency
space requirements
upper bound
database design
dynamical systems
qualitative and quantitative