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