@misc{indiciae57c83436c475,
  title = {Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem to Suboptimal Variants},
  author = {Pavel Surynek and Ariel Felner and Roni Stern and Eli Boyarski},
  year = {2017},
  url = {https://arxiv.org/abs/1707.00228},
  note = {Source identifier: 1707.00228}
}