@inproceedings{SurynekFSB16_DMAP,
  author    = {Pavel Surynek and
               Ariel Felner and
               Roni Stern and
               Eli Boyarski},
  title     = {Efficient {SAT} Approach to Multi-Agent Path Finding Under the Sum
               of Costs Objective},
  booktitle = {Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP)},
  pages     = {66--72},
  publisher = {Czech Technical University and Ben Gurion University},
  year      = {2016}
}