BibTeX record conf/ictai/BartakZSBS17

download as .bib file

@inproceedings{DBLP:conf/ictai/BartakZSBS17,
  author       = {Roman Bart{\'{a}}k and
                  Neng{-}Fa Zhou and
                  Roni Stern and
                  Eli Boyarski and
                  Pavel Surynek},
  title        = {Modeling and Solving the Multi-agent Pathfinding Problem in Picat},
  booktitle    = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
  pages        = {959--966},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICTAI.2017.00147},
  doi          = {10.1109/ICTAI.2017.00147},
  timestamp    = {Mon, 26 Jun 2023 20:42:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/BartakZSBS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics