Formula Caching in DPLL.
Paul BeameRussell ImpagliazzoToniann PitassiNathan SegerlindPublished in: ACM Trans. Comput. Theory (2010)
Keyphrases
- random sat
- phase transition
- np complete
- propositional logic
- sat solvers
- satisfiability problem
- query processing
- data access
- access patterns
- max sat
- sat problem
- prefetching
- boolean formula
- clause learning
- search tree
- mobile environments
- cnf formula
- web caching
- caching scheme
- consistency maintenance
- knowledge base
- constraint satisfaction
- orders of magnitude
- sat instances
- hit ratio
- data management