Compiling Stochastic Constraint Programs to And-Or Decision Diagrams.

Behrouz Babaki Golnoosh Farnadi Gilles Pesant

Published in: CoRR (2019)

Keyphrases

decision diagrams
markov decision processes
efficient computation
multi valued
digital circuits
binary decision diagrams
database design
planning problems
data sets
machine learning
computational complexity
lower bound
probabilistic model
object oriented
functional dependencies