An Exhaustive DPLL Algorithm for Model Counting
On probabilistic inference by weighted model counting