Compiling probabilistic graphical models using sentential decision diagrams
Dynamic minimization of sentential decision diagrams