M. Nishino, N. Yasuda, S.- ichi Minato, and M. Nagata, “Dancing with Decision Diagrams: A Combined Approach to Exact Cover”, AAAI, vol. 31, no. 1, Feb. 2017.