Compressing Binary Decision Diagrams.

Esben Rune Hansen S. Srinivasa Rao Peter Tiedemann

Published in: ECAI (2008)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
data compression
planning problems
variable ordering
model checking
knowledge compilation
databases
real world
expert systems
dynamic programming
knowledge discovery
domain specific