"A Hybrid Method for Probabilistic Satisfiability."

Pavel Klinov, Bijan Parsia (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics