Předměty
Publikace
- Analyza DNA Microarray pomocí booleovských technik2011 | Matematicko-fyzikální fakulta
- Podtřída Hornovských CNF optimálně komprimovatelná v polynomiálním čase2010 | Matematicko-fyzikální fakulta
- Aplikace teorie DES na verifikaci softwarových komponent2009 | Matematicko-fyzikální fakulta
- Skrytě intervalová rozšíření částečně definovaných booleovských funkcí2007 | Matematicko-fyzikální fakulta
- Intervalová rozšíření částečně definovaných booleovských funkcí2006 | 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
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta
- Learning a Propagation Complete Formula2022 | Matematicko-fyzikální fakulta
- Propagation complete encodings of smooth DNNF theories2022 | Matematicko-fyzikální fakulta
Loading network view...