An Exhaustive DPLL Algorithm for Model Counting
Inference and learning in probabilistic logic programs using weighted Boolean formulas