@inproceedings{DBLP:conf/icaart/SurynekSFB17a,
  author    = {Pavel Surynek and
               Jiri Svancara and
               Ariel Felner and
               Eli Boyarski},
  title     = {Variants of Independence Detection in SAT-Based Optimal Multi-agent
               Path Finding},
  booktitle = {Agents and Artificial Intelligence - 9th International Conference,
               {ICAART} 2017, Porto, Portugal, February 24-26, 2017, Revised Selected
               Papers},
  pages     = {116--136},
  year      = {2017},
  crossref  = {DBLP:conf/icaart/2017s},
  url       = {https://doi.org/10.1007/978-3-319-93581-2\_7},
  doi       = {10.1007/978-3-319-93581-2\_7},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/SurynekSFB17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icaart/2017s,
  editor    = {Jaap van den Herik and
               Ana Paula Rocha and
               Joaquim Filipe},
  title     = {Agents and Artificial Intelligence - 9th International Conference,
               {ICAART} 2017, Porto, Portugal, February 24-26, 2017, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10839},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-93581-2},
  doi       = {10.1007/978-3-319-93581-2},
  isbn      = {978-3-319-93580-5},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/2017s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}