A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams.

Hélène Fargier Pierre Marquis Alexandre Niveau Nicolas Schmidt

Published in: AAAI (2014)

Keyphrases

real valued
decision diagrams
multi valued
markov decision processes
digital circuits
efficient computation
integer valued
complex valued
binary decision diagrams
planning problems
latent variables
constraint satisfaction problems
compressed data
graphical models
normal form
document retrieval
itemsets