Cache Conscious Data Structures for Boolean Satisfiability Solvers.

Geoffrey Chu Aaron Harwood Peter J. Stuckey

Published in: J. Satisf. Boolean Model. Comput. (2009)

Keyphrases

cache conscious
data structure
main memory
index structure
r tree
binary trees
external memory
data placement
b tree
query processing
range queries
tree structure
database
quadtree
multi dimensional
multiresolution
similarity measure