@article{onthetourtowardsdpllmapfandbeyond,
  title = {On the Tour Towards DPLL(MAPF) and Beyond},
  author = {Pavel Surynek},
  year = {2019},
  eprint = {1907.07631},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1907.07631v1},
}