Mutex propagation for SAT-based multi-agent path finding
Published in In the proceedings of PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18--20, 2020, Proceedings 23, 2021
Use Google Scholar for full citation
Recommended citation: Pavel Surynek, Jiaoyang Li, Han Zhang, TK Satish, Sven Koenig, "Mutex propagation for SAT-based multi-agent path finding." In the proceedings of PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18--20, 2020, Proceedings 23, 2021.