ML Anthology

Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding Through Satisfiability Modulo Theories

Pavel Surynek
IJCAI 2019 pp. 1177-1183
doi:10.24963/IJCAI.2019/164 /ijcai/2019/surynek2019ijcai-unifying/
PDF IJCAI Semantic Scholar

Cite

Text

Surynek. "Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding Through Satisfiability Modulo Theories." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/164

Markdown

[Surynek. "Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding Through Satisfiability Modulo Theories." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/surynek2019ijcai-unifying/) doi:10.24963/IJCAI.2019/164

BibTeX

@inproceedings{surynek2019ijcai-unifying,
  title     = {{Unifying Search-Based and Compilation-Based Approaches to Multi-Agent Path Finding Through Satisfiability Modulo Theories}},
  author    = {Surynek, Pavel},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2019},
  pages     = {1177-1183},
  doi       = {10.24963/IJCAI.2019/164},
  url       = {https://mlanthology.org/ijcai/2019/surynek2019ijcai-unifying/}
}