Mutex Propagation for SAT-based Multi-Agent Path Finding

Pavel Surynek, Jiaoyang Li, Han Zhang, T. K. Satish Kumar and Sven Koenig. International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2020.
[pdf] [bibtex]