Login / Signup

Space complexity of random formulae in resolution.

Eli Ben-SassonNicola Galesi
Published in: Random Struct. Algorithms (2003)
Keyphrases
  • space complexity
  • arc consistency
  • worst case
  • worst case time complexity
  • real time
  • data structure
  • special case
  • space requirements
  • valued logic
  • conflict detection