Binary Decision Diagrams: from Tree Compaction to Sampling.

Julien Clément Antoine Genitrini

Published in: CoRR (2019)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
variable ordering
tree structure
fp tree
planning problems
model checking
index structure
expert systems
database design
knowledge compilation