Binary Decision Diagrams: From Tree Compaction to Sampling.

Julien Clément Antoine Genitrini

Published in: LATIN (2020)

Keyphrases

binary decision diagrams
fp tree
tree structure
symbolic model checking
boolean functions
data structure
variable ordering
data sets
model checking
planning problems
database
relational databases
index structure
knowledge compilation