A Lightweight Component Caching Scheme for Satisfiability Solvers.

Knot Pipatsrisawat Adnan Darwiche

Published in: SAT (2007)

Keyphrases

lightweight
caching scheme
prefetching
hit ratio
low cost
information extraction
data management
distributed databases
software components
overlay network
mobile environments
authentication protocol