@inproceedings{DBLP:conf/icaart/SurynekSFB17,
  author    = {Pavel Surynek and
               Jiri Svancara and
               Ariel Felner and
               Eli Boyarski},
  title     = {Integration of Independence Detection into SAT-based Optimal Multi-Agent
               Path Finding - {A} Novel SAT-based Optimal {MAPF} Solver},
  booktitle = {Proceedings of the 9th International Conference on Agents and Artificial
               Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
               2017.},
  pages     = {85--95},
  year      = {2017},
  crossref  = {DBLP:conf/icaart/2017-2},
  url       = {https://doi.org/10.5220/0006126000850095},
  doi       = {10.5220/0006126000850095},
  timestamp = {Fri, 02 Nov 2018 09:37:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/SurynekSFB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icaart/2017-2,
  editor    = {H. Jaap van den Herik and
               Ana Paula Rocha and
               Joaquim Filipe},
  title     = {Proceedings of the 9th International Conference on Agents and Artificial
               Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
               2017},
  publisher = {SciTePress},
  year      = {2017},
  isbn      = {978-989-758-220-2},
  timestamp = {Wed, 14 Jun 2017 14:14:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}