@inproceedings{DBLP:conf/aips/ZhangLSKK20,
  author    = {Han Zhang and
               Jiaoyang Li and
               Pavel Surynek and
               Sven Koenig and
               T. K. Satish Kumar},
  editor    = {J. Christopher Beck and
               Olivier Buffet and
               J{\"{o}}rg Hoffmann and
               Erez Karpas and
               Shirin Sohrabi},
  title     = {Multi-Agent Path Finding with Mutex Propagation},
  booktitle = {Proceedings of the Thirtieth International Conference on Automated
               Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages     = {323--332},
  publisher = {{AAAI} Press},
  year      = {2020},
  url       = {https://aaai.org/ojs/index.php/ICAPS/article/view/6677},
  timestamp = {Fri, 05 Jun 2020 08:16:16 +0200},
  biburl    = {https://dblp.org/rec/conf/aips/ZhangLSKK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}