@misc{indiciaecb0d2778dc10,
  title = {On the Tour Towards DPLL(MAPF) and Beyond},
  author = {Pavel Surynek},
  year = {2019},
  url = {https://arxiv.org/abs/1907.07631},
  note = {Source identifier: 1907.07631}
}