A Top-Down Compiler for Sentential Decision Diagrams.

Umut Oztok Adnan Darwiche

Published in: IJCAI (2015)

Keyphrases

decision diagrams
multi valued
markov decision processes
multiple valued
efficient computation
digital circuits
constraint satisfaction problems
planning problems
general purpose
binary decision diagrams
graphical models
optimal policy
domain independent
database systems
model based diagnosis
compressed data