A differential approach to inference in Bayesian networks
A Tourist Guide through Treewidth