M. Nishino, N. Yasuda, S.- ichi Minato, and M. Nagata, “BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems”, AAAI, vol. 29, no. 1, Feb. 2015.