Sylvan: Multi-Core Decision Diagrams.

Tom van Dijk Jaco van de Pol

Published in: TACAS (2015)

Keyphrases

decision diagrams
markov decision processes
multiple valued
efficient computation
multi valued
binary decision diagrams
data mining
special case