Compiling probabilistic graphical models using sentential decision diagrams
On probabilistic inference by weighted model counting