@inproceedings{DBLP:conf/socs/SurynekFSB18,
  author    = {Pavel Surynek and
               Ariel Felner and
               Roni Stern and
               Eli Boyarski},
  title     = {Sub-Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem},
  booktitle = {Proceedings of the Eleventh International Symposium on Combinatorial
               Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
  pages     = {90--105},
  year      = {2018},
  crossref  = {DBLP:conf/socs/2018},
  url       = {https://aaai.org/ocs/index.php/SOCS/SOCS18/paper/view/17972},
  timestamp = {Tue, 24 Jul 2018 20:17:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/socs/SurynekFSB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/socs/2018,
  editor    = {Vadim Bulitko and
               Sabine Storandt},
  title     = {Proceedings of the Eleventh International Symposium on Combinatorial
               Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {http://www.aaai.org/Library/SOCS/socs18contents.php},
  isbn      = {978-1-57735-802-2},
  timestamp = {Tue, 24 Jul 2018 20:17:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/socs/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}