Compiling probabilistic graphical models using sentential decision diagrams
Graph-Based Algorithms for Boolean Function Manipulation