Probabilistic Satisfiability and Decomposition - Douanya Nguetse, Guy-Blaise; Hansen, Pierre; Jaumard, Brigitte (Groupe d’études et de recherche en analyse des décisions, 1994)