An Exhaustive DPLL Algorithm for Model Counting
Compiling probabilistic graphical models using sentential decision diagrams