Binary Decision Diagrams.

Sheldon B. Akers Jr.

Published in: IEEE Trans. Computers (1978)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
model checking
knowledge compilation
planning problems
variable ordering
data mining
information extraction
databases
artificial intelligence
database systems
data structure
lower bound
machine translation