- Boolean functions with long prime implicants +12012 | Matematicko-fyzikální fakulta
- Exkluzivní a esenciální množiny implikátů boolovských funkcí2010 | Matematicko-fyzikální fakulta
- A decomposition method for CNF minimality proofs2013 | Matematicko-fyzikální fakulta
- A combinatorial min-max theorem and minimization of pure-Horn functions2016 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas2014 | Matematicko-fyzikální fakulta
- On the gap between the complexity of SAT and minimization for certain classes of boolean formulas2014 | Matematicko-fyzikální fakulta