Index-Resilient Zero-Suppressed BDDs: Definition and Operations.

Anna Bernasconi Valentina Ciriani

Published in: ACM Trans. Design Autom. Electr. Syst. (2016)

Keyphrases

binary decision diagrams
index structure
boolean functions
bit strings
decision diagrams
heuristic search
database
inverted index
domain independent
bit wise
structural similarity
planning problems
model checking
spatial data
multi dimensional
database systems
data sets