@inproceedings{DBLP:conf/socs/Surynek21a,
  author    = {Pavel Surynek},
  editor    = {Hang Ma and
               Ivan Serina},
  title     = {Sum of Costs Optimal Multi-Agent Path Finding with Continuous Time
               via Satisfiability Modulo Theories},
  booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
               Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
               2021},
  pages     = {200--202},
  publisher = {{AAAI} Press},
  year      = {2021},
  url       = {https://ojs.aaai.org/index.php/SOCS/article/view/18583},
  timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/conf/socs/Surynek21a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}