@inproceedings{DBLP:conf/icaart/Surynek20,
  author    = {Pavel Surynek},
  editor    = {Ana Paula Rocha and
               Luc Steels and
               H. Jaap van den Herik},
  title     = {On Satisfisfiability Modulo Theories in Continuous Multi-Agent Path
               Finding: Compilation-based and Search-based Approaches Compared},
  booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
               Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
               2020},
  pages     = {182--193},
  publisher = {{SCITEPRESS}},
  year      = {2020},
  url       = {https://doi.org/10.5220/0008980101820193},
  doi       = {10.5220/0008980101820193},
  timestamp = {Tue, 14 Apr 2020 10:44:02 +0200},
  biburl    = {https://dblp.org/rec/conf/icaart/Surynek20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}