@inproceedings{DBLP:conf/socs/Surynek21b,
  author    = {Pavel Surynek},
  editor    = {Hang Ma and
               Ivan Serina},
  title     = {Conceptual Comparison of Compilation-based Solvers for Multi-Agent
               Path Finding: {MIP} vs. {SAT}},
  booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
               Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
               2021},
  pages     = {203--205},
  publisher = {{AAAI} Press},
  year      = {2021},
  url       = {https://ojs.aaai.org/index.php/SOCS/article/view/18584},
  timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/conf/socs/Surynek21b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}