Pavel Surynek

FIT , Czech Technical University in Prague , Thákurova 9 , 160 00 Praha 6 , Czechia

3 papers in the IJCAI proceedings

IJCAI 2022

Problem Compilation for Multi-Agent Path Finding: a Survey

doi:10.24963/ijcai.2022/783

Details PDF

IJCAI 2019

Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories

doi:10.24963/ijcai.2019/164

Details PDF

IJCAI 2018

Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract)

with Adi Botea, Davide Bonusi

doi:10.24963/ijcai.2018/785

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings