@inproceedings{DBLP:conf/socs/CapekS21,
  author    = {Martin Capek and
               Pavel Surynek},
  editor    = {Hang Ma and
               Ivan Serina},
  title     = {{DPLL(MAPF):} an Integration of Multi-Agent Path Finding and {SAT}
               Solving Technologies},
  booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
               Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
               2021},
  pages     = {153--155},
  publisher = {{AAAI} Press},
  year      = {2021},
  url       = {https://ojs.aaai.org/index.php/SOCS/article/view/18567},
  timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/conf/socs/CapekS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}