Emad Saad. Probabilistic Reasoning by SAT Solvers. In Claudio Sossai, Gaetano Chemello, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings. Volume 5590 of Lecture Notes in Computer Science, pages 663-675, Springer, 2009. [doi]
Abstract is missing.