- Property Directed Reachability for Automated Planning2014 | Matematicko-fyzikální fakulta
- Automatic creation of pattern databases in planning2014 | Matematicko-fyzikální fakulta
- Solving Integer Linear Programs with a Small Number of Global Variables and Constraints2017 | Matematicko-fyzikální fakulta
- When Planning Should Be Easy: On Solving Cumulative Planning Problems2012 | Matematicko-fyzikální fakulta