Nishino, M.; Yasuda, N.; Minato, S.- ichi; Nagata, M. Compiling Graph Substructures into Sentential Decision Diagrams. AAAI 2017, 31.