Probabilistic Satisfiability with Imprecise Probabilities - Hansen, Pierre; Jaumard, Brigitte; Poggi De Aragao, Marcus V.S.; Chauny, Fabien; Perron, Sylvain (Groupe d’études et de recherche en analyse des décisions, 1999)