Hybrid decision diagrams.

Edmund M. Clarke Masahiro Fujita Xudong Zhao

Published in: ICCAD (1995)

Keyphrases

decision diagrams
multi valued
markov decision processes
search algorithm
special case
efficient computation
digital circuits
multiple valued
data structure
np complete
compressed data