Watched Data Structures for QBF Solvers.

Ian P. Gent Enrico Giunchiglia Massimo Narizzano Andrew G. D. Rowley Armando Tacchella

Published in: SAT (2003)

Keyphrases

data structure
suffix tree
efficient data structures
data types
website
three dimensional
index structure
kd trees
genetic algorithm
algorithms and data structures
database operations
quadtree
medical images
domain specific
data model
preprocessing
case study