Chain Reduction for Binary and Zero-Suppressed Decision Diagrams.

Randal E. Bryant

Published in: J. Autom. Reason. (2020)

Keyphrases

decision diagrams
binary decision diagrams
multi valued
multiple valued
boolean functions
planning problems
model checking
markov decision processes
efficient computation
machine learning
knowledge compilation
learning algorithm
relational databases
graphical models
coding scheme
digital circuits