- Properties of SLUR Formulae2012 | Matematicko-fyzikální fakulta
- Třídy booleovských formulí s efektivně řešitelným SATem2010 | Matematicko-fyzikální fakulta
- On Hierarchies over the SLUR Class2012 | Matematicko-fyzikální fakulta
- On Hierarchies over the Class of SLUR Formulae2011 | Matematicko-fyzikální fakulta
- On the size of CNF formulas with high propagation strength2020 | Matematicko-fyzikální fakulta