Compressing Binary Decision Diagrams

Esben Rune Hansen S. Srinivasa Rao Peter Tiedemann

Published in: CoRR (2008)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
planning problems
variable ordering
data compression
knowledge compilation
model checking
artificial intelligence
knowledge discovery
information retrieval
data structure
data model
general purpose
fp tree