Learning Arithmetic Circuits
A differential approach to inference in Bayesian networks