Mutex Propagation for SAT-based Multi-agent Path Finding.

Pavel Surynek, Jiaoyang Li, Han Zhang, T. K. Satish Kumar, Sven Koenig

Browse the full PRIMA paper archive.