Augmented Sifting of Multiple-Valued Decision Diagrams.

D. Michael Miller Rolf Drechsler

Published in: ISMVL (2003)

Keyphrases

multiple valued
decision diagrams
multi valued
markov decision processes
efficient computation
digital circuits
boolean functions
file organization
binary decision diagrams
constraint satisfaction problems
planning problems
continuous attributes
compressed data
normal form
relational databases
valued logic