Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding

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]

Authors

Pavel Surynek

This author has not been identified. Look up 'Pavel Surynek' in Google

Jiri Svancara

This author has not been identified. Look up 'Jiri Svancara' in Google

Ariel Felner

This author has not been identified. Look up 'Ariel Felner' in Google

Eli Boyarski

This author has not been identified. It may be one of the following persons: Look up 'Eli Boyarski' in Google