- Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective2016 | Matematicko-fyzikální fakulta
- Combining Strengths of Optimal Multi-Agent Path Finding Algorithms2019 | Matematicko-fyzikální fakulta
- Variants of independence detection in SAT-based optimal multi-agent path finding2017 | Matematicko-fyzikální fakulta
- Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver2017 | Matematicko-fyzikální fakulta
- New Flow-based Heuristic for Search Algorithms Solving Multi-agent Path Finding2017 | Matematicko-fyzikální fakulta