Pavel Klinov Bijan Parsia A Hybrid Method for Probabilistic Satisfiability. 354-368 2011 CADE http://dx.doi.org/10.1007/978-3-642-22438-6_27 conf/cade/2011 db/conf/cade/cade2011.html#KlinovP11