@misc{indiciae25d6c9bd063a,
  title = {Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search},
  author = {Pavel Surynek},
  year = {2018},
  url = {https://arxiv.org/abs/1809.05959},
  note = {Source identifier: 1809.05959}
}