- Adaptace konzistence po cestě pro booleovskou splnitelnost2010 | Matematicko-fyzikální fakulta
- Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability2011 | Matematicko-fyzikální fakulta
- Adaptace konzistence po cestě pro booleovskou splnitelnost: teoretické představení konceptu2010 | Matematicko-fyzikální fakulta
- Zesílení konzistence po cestě pro řešení SATu2008 | Matematicko-fyzikální fakulta
- Exploiting Global Properties in Path-Consistency Applied on SAT2011 | Matematicko-fyzikální fakulta
- Principy zpracování podmínek2008 | Matematicko-fyzikální fakulta