@inproceedings{DBLP:conf/atal/SurynekFSB16,
  author    = {Pavel Surynek and
               Ariel Felner and
               Roni Stern and
               Eli Boyarski},
  title     = {Boolean Satisfiability Approach to Optimal Multi-agent Path Finding
               under the Sum of Costs Objective: (Extended Abstract)},
  booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
               {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  pages     = {1435--1436},
  year      = {2016},
  crossref  = {DBLP:conf/atal/2016},
  url       = {http://dl.acm.org/citation.cfm?id=2937197},
  timestamp = {Fri, 20 May 2016 21:03:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/SurynekFSB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atal/2016,
  editor    = {Catholijn M. Jonker and
               Stacy Marsella and
               John Thangarajah and
               Karl Tuyls},
  title     = {Proceedings of the 2016 International Conference on Autonomous Agents
               {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2936924},
  isbn      = {978-1-4503-4239-1},
  timestamp = {Fri, 20 May 2016 20:33:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}