Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference
Context-Specific Independence in Bayesian Networks