Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. - Choi, Arthur; Kisa, Doga; Darwiche, Adnan (2013)