Chain Reduction for Binary and Zero-Suppressed Decision Diagrams.

Randal E. Bryant

Published in: CoRR (2017)

Keyphrases

decision diagrams
binary decision diagrams
multi valued
multiple valued
boolean functions
markov decision processes
planning problems
efficient computation
knowledge compilation
image data
multi dimensional
digital circuits