Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference
Dynamic Programming