- Constraint Based Reasoning over Mutex Relations in Graphplan Algorithm2006 | Faculty of Mathematics and Physics
- Maintaining Arc-consistency over Mutex Relations in Planning Graphs during Search2007 | Faculty of Mathematics and Physics
- Projection Global Consistency: An Application in AI Planning2007 | Faculty of Mathematics and Physics
