Nishino, M.; Yasuda, N.; Minato, S.- ichi; Nagata, M. Zero-Suppressed Sentential Decision Diagrams. AAAI 2016, 30.