Chain Reduction for Binary and Zero-Suppressed Decision Diagrams.

Randal E. Bryant

Published in: TACAS (1) (2018)

Keyphrases

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