Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations. - Shou Ooba; Jun Kawahara; Shin-ichi Minato (ICAART (3), 2024)