@inproceedings{Surynek2019_WoMAPF,
  author    = {Pavel Surynek},
  title     = {Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories},
  booktitle = {Proceedings of the 3rd IJCAI Workshop on Multi-Agent Path Finding (WoMAPF 2019)},
  pages     = {16},
  publisher = {University of Southern California},
  year      = {2019}
}