A differential approach to inference in Bayesian networks
Graph-Based Algorithms for Boolean Function Manipulation