ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Takehiro Ito; Jun Kawahara; Yu Nakahata; Takehide Soh; Akira Suzuki; Junichi Teruyama; Takahisa Toda
20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), 2023年05月30日, 査読有り, 責任著者