Pavel Surynek, Jiri Svancara, Ariel Felner, Eli Boyarski. Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding. In Jaap van den Herik, Ana Paula Rocha 0001, Joaquim Filipe, editors, Agents and Artificial Intelligence - 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers. Volume 10839 of Lecture Notes in Computer Science, pages 116-136, Springer, 2017. [doi]
Abstract is missing.