@misc{indiciaeb9a3fe0c3045,
  title = {Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)},
  author = {Pavel Surynek},
  year = {2019},
  url = {https://arxiv.org/abs/1903.09820},
  note = {Source identifier: 1903.09820}
}