- The Benefit of Control Knowledge and Heuristics During Search in Planning2016 | Matematicko-fyzikální fakulta
- Searching for Sequential Plans Using Tabled Logic Programming2015 | Matematicko-fyzikální fakulta
- A New Labeling Algorithm to Solve Minimal Perturbation Problems: A Preliminary Report2003 | Ústřední knihovna, Matematicko-fyzikální fakulta
- Positive semidefiniteness and positive definiteness of a linear parametric interval matrix2018 | Matematicko-fyzikální fakulta
- The Effect of Domain Modelling on Efficiency of Planning: Lessons From the Nomystery Domain2015 | Matematicko-fyzikální fakulta
- Solving and Visualizing Nonlinear Set Inversion Problems2016 | Matematicko-fyzikální fakulta
- An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner2016 | Matematicko-fyzikální fakulta