K. A. Andersen
-
Easy Cases of Probabilistic Satisfiability
Annals of Mathematics and Artificial Intelligence