• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Memoization and DPLL: Formula Caching Proof Systems.

Paul BeameRussell ImpagliazzoToniann PitassiNathan Segerlind
Published in: Computational Complexity Conference (2003)
Keyphrases
  • complex systems
  • artificial intelligence
  • distributed systems
  • np complete
  • propositional logic
  • database systems
  • query processing
  • response time
  • intelligent systems
  • proof procedure