Space Complexity in Propositional Calculus.

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

Published in: SIAM J. Comput. (2002)

Keyphrases

space complexity
propositional calculus
arc consistency
worst case
worst case time complexity
fine grained
constraint propagation