Compiling probabilistic graphical models using sentential decision diagrams
A differential approach to inference in Bayesian networks