Compiling Bayesian Networks Using Variable Elimination
Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference