- Strong Duality in Horn Minimization2017 | Matematicko-fyzikální fakulta
- Horn Minimization by Iterative Decomposition1999 | Publikace bez příslušnosti k fakultě
- Horn Minimization by Iterative Decomposition1998 | Matematicko-fyzikální fakulta
- A decomposition method for CNF minimality proofs2013 | Matematicko-fyzikální fakulta
- Hydras: Complexity on general graphs and a subclass of trees +12014 | Matematicko-fyzikální fakulta
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta