Ibrahim, M. (2015). Using Constraint Satisfaction Techniques and Variational Methods for Probabilistic Reasoning. (PhD thesis, École Polytechnique de Montréal).