Formula Caching in DPLL.
Paul BeameRussell ImpagliazzoToniann PitassiNathan SegerlindPublished in: Electron. Colloquium Comput. Complex. (2006)
Keyphrases
- random sat
- propositional logic
- sat solvers
- phase transition
- np complete
- boolean formula
- propositional formulas
- propositional satisfiability
- access patterns
- prefetching
- query processing
- semantic caching
- sat problem
- satisfiability problem
- constraint satisfaction
- first order logic
- data access
- clause learning
- database systems
- information retrieval systems
- search strategy
- max sat
- heuristic search
- davis putnam
- lower bound