Předměty
Publikace
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas2014 | Matematicko-fyzikální fakulta
- Complexity Issues Related to Propagation Completeness2013 | Matematicko-fyzikální fakulta
- Properties of SLUR Formulae2012 | Matematicko-fyzikální fakulta
- Rozpoznávání intervalových booleovských funkcí2008 | Matematicko-fyzikální fakulta
- Přejmenovatelné intervalové booleovské funkce2008 | Matematicko-fyzikální fakulta
- Rozpoznávání Intervalových Booleovských Funkcí2006 | Matematicko-fyzikální fakulta
- Přejmenovatelné Intervalové Booleovské Funkce2006 | Matematicko-fyzikální fakulta
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- k-DNF and Acyclic Extensions of pdBfs2005 | Matematicko-fyzikální fakulta
Loading network view...