Login / Signup

Space complexity in propositional calculus.

Michael AlekhnovichEli Ben-SassonAlexander A. RazborovAvi 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