ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "sets"
sets
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Mgr. Bc. Štefan Gurský Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
7 publikací
Publikace
publication
On Minimum Representations of Matched Formulas (Extended Abstract)
2017 |
Matematicko-fyzikální fakulta
publication
On Minimum Representations of Matched Formulas
2014 |
Matematicko-fyzikální fakulta
publication
Complexity Issues Related to Propagation Completeness
2013 |
Matematicko-fyzikální fakulta
publication
On the gap between the complexity of SAT and minimization for certain classes of boolean formulas
2014 |
Matematicko-fyzikální fakulta
publication
Tractability conditions for classes of CNFs and their influence on the complexity of CNF minimization
2014 |
Matematicko-fyzikální fakulta
publication
On Hierarchies over the SLUR Class
2012 |
Matematicko-fyzikální fakulta
publication
On Hierarchies over the Class of SLUR Formulae
2011 |
Matematicko-fyzikální fakulta
Loading network view...