- Constraint Based Reasoning over Mutex Relations in Graphplan Algorithm2006 | Faculty of Mathematics and Physics
- Mutex reasoning in cooperative path finding modeled as propositional satisfiability2013 | Faculty of Mathematics and Physics
- Maintaining Arc-consistency over Mutex Relations in Planning Graphs during Search2007 | Faculty of Mathematics and Physics
- A Global Filtration for Satisfying Goals in Mutual Exclusion Networks +12008 | Faculty of Mathematics and Physics
