Stochastic Constraint Optimization using Propagation on Ordered Binary Decision Diagrams | Read Paper on Bytez