@inproceedings{SurynekFSB16_WoMAPF,
  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 2nd IJCAI Workshop on Multi-Agent Path Finding (WOMPF 2016)},
  pages     = {9},
  publisher = {Carnegie Mellon University and University of Southern California},
  year      = {2016}
}