Space Complexity in Propositional Calculus

Michael Alekhnovich Eli Ben-Sasson Alexander A. Razborov Avi Wigderson

Published in: Electron. Colloquium Comput. Complex. (1999)

Keyphrases

space complexity
propositional calculus
arc consistency
worst case
space requirements
worst case time complexity
high level
video sequences
programming language
search algorithm
dynamic programming
fine grained
rule base