Publikace
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- On the gap between the complexity of SAT and minimization for certain classes of boolean formulas2014 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas2014 | Matematicko-fyzikální fakulta
- Complexity Issues Related to Propagation Completeness2013 | Matematicko-fyzikální fakulta
- On Hierarchies over the Class of SLUR Formulae2011 | Matematicko-fyzikální fakulta
- Tractability conditions for classes of CNFs and their influence on the complexity of CNF minimization2014 | Matematicko-fyzikální fakulta
- On Hierarchies over the SLUR Class2012 | Matematicko-fyzikální fakulta
Loading network view...