Předměty
Publikace
- Bounds on the size of PC and URC formulas2020 | Matematicko-fyzikální fakulta
- On the size of CNF formulas with high propagation strength2020 | Matematicko-fyzikální fakulta
- On Hierarchies over the Class of SLUR Formulae2011 | Matematicko-fyzikální fakulta
- Rozpoznávání intervalových booleovských funkcí2008 | Matematicko-fyzikální fakulta
- Skrytě intervalová rozšíření částečně definovaných booleovských funkcí2007 | Matematicko-fyzikální fakulta
- Rozpoznávání Intervalových Booleovských Funkcí2006 | Matematicko-fyzikální fakulta
- Intervalová rozšíření částečně definovaných booleovských funkcí2006 | Matematicko-fyzikální fakulta
- k-DNF and Acyclic Extensions of pdBfs2005 | Matematicko-fyzikální fakulta
- k-DNF a acyklická rozšíření částečně definovaných booleovských funkcí2005 | Matematicko-fyzikální fakulta
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta
Loading network view...
