Parallel disk-based computation for large, monolithic binary decision diagrams.

Daniel Kunkle Vlad Slavici Gene Cooperman

Published in: PASCO (2010)

Keyphrases

database applications
binary decision diagrams
databases
parallel computation
boolean functions
symbolic model checking
information retrieval
parallel implementation
data sets
machine learning
artificial intelligence
data structure
expert systems
dynamic programming
data warehouse
model checking