Compiling Stochastic Constraint Programs to And-Or Decision Diagrams

Behrouz Babaki, Golnoosh Farnadi, Gilles Pesant

Factored stochastic constraint programming (FSCP) is a formalism to represent multi-stage decision making problems under uncertainty. FSCP models support factorized probabilistic m…