Implementing a Multiple-Valued Decision Diagram Package.

D. Michael Miller Rolf Drechsler

Published in: ISMVL (1998)

Keyphrases

decision diagrams
multiple valued
multi valued
markov decision processes
efficient computation
digital circuits
binary decision diagrams
search algorithm
constraint satisfaction problems
planning problems
boolean functions
file organization
image sequences
data flow
compressed data