Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference
Graph-Based Algorithms for Boolean Function Manipulation