- Tractability conditions for classes of CNFs and their influence on the complexity of CNF minimization2014 | Matematicko-fyzikální fakulta
- Boolean functions with a simple certificate for CNF complexity2012 | Matematicko-fyzikální fakulta
- Generating clause sequences of a CNF formula2021 | Matematicko-fyzikální fakulta
- A decomposition method for CNF minimality proofs2013 | Matematicko-fyzikální fakulta
- Podtřída Hornovských CNF optimálně komprimovatelná v polynomiálním čase2010 | Matematicko-fyzikální fakulta
- O velikosti maxima renamable Horn sub-CNF2005 | Matematicko-fyzikální fakulta
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Matematicko-fyzikální fakulta
- A lower bound on CNF encodings of the at-most-one constraint2019 | Matematicko-fyzikální fakulta
- On the size of CNF formulas with high propagation strength2020 | Matematicko-fyzikální fakulta
- Properties of SLUR Formulae2012 | Matematicko-fyzikální fakulta
- On Hierarchies over the SLUR Class2012 | Matematicko-fyzikální fakulta
- Hydras: Complexity on general graphs and a subclass of trees2017 | Matematicko-fyzikální fakulta
- Cellulose Mesh with Charged Nanocellulose Coatings as a Promising Carrier of Skin and Stem Cells for Regenerative Applications2020 | 1. lékařská fakulta, Fakulta tělesné výchovy a sportu
- Complexity Issues Related to Propagation Completeness2013 | 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 Hierarchies over the Class of SLUR Formulae2011 | Matematicko-fyzikální fakulta
- On the gap between the complexity of SAT and minimization for certain classes of boolean formulas2014 | Matematicko-fyzikální fakulta
- Strong Duality in Horn Minimization2017 | Matematicko-fyzikální fakulta
- Learning a Propagation Complete Formula2022 | Matematicko-fyzikální fakulta
- Disjunktní esenciální množiny implikantů pro CQ Hornovské funkce2011 | Matematicko-fyzikální fakulta
- Disjunktní esenciální množiny implikátů CQ Hornovské funkce.2009 | Matematicko-fyzikální fakulta
- Flexible, ultrathin and light films from one-dimensional nanostructures of polypyrrole and cellulose nanofibers for high performance electromagnetic interference shielding2023 | Matematicko-fyzikální fakulta
- On Proof Complexity of Resolution over Polynomial Calculus2022 | Matematicko-fyzikální fakulta
- Switch lists in the landscape of knowledge representations languages2022 | Matematicko-fyzikální fakulta
- Řešené těžkých SAT instancí pomocí hladového rozkladu na kliky2007 | Matematicko-fyzikální fakulta
- Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)2014 | Matematicko-fyzikální fakulta
- Řešení obtížných případů problému splnitelnosti Booleovských formulí2007 | Matematicko-fyzikální fakulta
- Knowledge compilation and compression using interval representations2015 | Matematicko-fyzikální fakulta
- Knowledge compilation from DNF to switch-list representations2016 | Matematicko-fyzikální fakulta
