Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving. - Latour, Anna L. D.; Babaki, Behrouz; Dries, Anton; Kimmig, Angelika; Broeck, Guy Van den; Nijssen, Siegfried (2017)