Merging the Local and Global Approaches to Probabilistic Satisfiability - Hansen, Pierre; Perron, Sylvain (Groupe d’études et de recherche en analyse des décisions, 2007)