- Generating all arcs in the transitive closure of a directed hypergraphPublikace bez příslušnosti k fakultě
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta
- Hydras: Complexity on general graphs and a subclass of trees2017 | Matematicko-fyzikální fakulta
- Strong Duality in Horn Minimization2017 | Matematicko-fyzikální fakulta