Maximum a posteriori estimation by search in probabilistic programs - Tolpin, D; Wood, F (Proceedings of the Eighth International Symposium on Combinatorial Search, 2015)