@inproceedings{ICAPS20paper233,
  title     = {Multi-Agent Path Finding with Mutex Propagation},
  author    = {Han Zhang and Jiaoyang Li and Pavel Surynek and Sven Koenig and T. K. Satish Kumar},
  booktitle = {Proceedings of the 30th International Conference on Automated Planning and Scheduling ({ICAPS})},
  publisher = {{AAAI} Press},
  pages     = {323--332},
  year      = {2020}
}