- Generalizations of Horn formulae and their mutual relationships2001 | Matematicko-fyzikální fakulta
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Známé a nové třídy zobecněných Hornovských formulí s rozpoznáváním a SATem v polynomiálním čase2005 | Matematicko-fyzikální fakulta
- Hydras: Complexity on general graphs and a subclass of trees +12014 | Matematicko-fyzikální fakulta
- Bounds on the size of PC and URC formulas2020 | Matematicko-fyzikální fakulta
- On the size of CNF formulas with high propagation strength2020 | Matematicko-fyzikální fakulta
- Some classes of Boolean formulae with polynomial time satisfiability testing.2002 | Publikace bez příslušnosti k fakultě
- Learning a Propagation Complete Formula2022 | Matematicko-fyzikální fakulta