@inproceedings{DBLP:conf/socs/Surynek19,
  author    = {Pavel Surynek},
  title     = {Multi-Agent Path Finding with Continuous Time and Geometric Agents
               Viewed through Satisfiability Modulo Theories {(SMT)}},
  booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial
               Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
  pages     = {200--201},
  year      = {2019},
  crossref  = {DBLP:conf/socs/2019},
  url       = {https://aaai.org/ocs/index.php/SOCS/SOCS19/paper/view/18387},
  timestamp = {Wed, 17 Jul 2019 10:38:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/socs/Surynek19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/socs/2019,
  editor    = {Pavel Surynek and
               William Yeoh},
  title     = {Proceedings of the Twelfth International Symposium on Combinatorial
               Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://www.aaai.org/Library/SOCS/socs19contents.php},
  isbn      = {978-1-57735-808-4},
  timestamp = {Wed, 17 Jul 2019 10:32:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/socs/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}