Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding.
Pavel Surynek, Jiri Svancara, Ariel Felner, Eli Boyarski
VenueBICAART
Year2017
ProceedingsICAART (Revised Selected Papers)
DBLP recordconf/icaart/SurynekSFB17a ↗
Browse the full ICAART paper archive.