Nishino, M.; Yasuda, N.; Minato, S.- ichi; Nagata, M. Dancing With Decision Diagrams: A Combined Approach to Exact Cover. AAAI 2017, 31.