Binary Decision Diagrams: From abstract representations to physical implementations.

Jose S. Metos John V. Oldfield

Published in: DAC (1983)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
higher level
symbolic representation
artificial intelligence
data streams
relational databases
search space
planning problems
knowledge compilation
variable ordering