M. Nishino, N. Yasuda, S.- ichi Minato, and M. Nagata, “Zero-Suppressed Sentential Decision Diagrams”, AAAI, vol. 30, no. 1, Feb. 2016.