ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "DNFs"
DNFs
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Petr Kučera Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
3 předměty
46 publikací
Předměty
class
Rozhodovací procedury a SAT/SMT řešiče
NAIL094 |
Matematicko-fyzikální fakulta
class
Rozhodovací procedury a verifikace
NAIX094 |
Matematicko-fyzikální fakulta
class
Algoritmy pro reprezentaci znalostí
NTIN099 |
Matematicko-fyzikální fakulta
Publikace
publication
Boolean functions with long prime implicants
+1
2012 |
Matematicko-fyzikální fakulta
publication
Rozpoznávání intervalových booleovských funkcí
2008 |
Matematicko-fyzikální fakulta
publication
Přejmenovatelné intervalové booleovské funkce
2008 |
Matematicko-fyzikální fakulta
publication
Rozpoznáv ání Intervalových Booleovských Funkcí
2006 |
Matematicko-fyzikální fakulta
publication
Přejmenovatelné Intervalové Booleovské Funkce
2006 |
Matematicko-fyzikální fakulta
publication
k-DNF and Acyclic Extensions of pdBfs
2005 |
Matematicko-fyzikální fakulta
publication
k-DNF a acyklická rozšíření částečně definovaných booleovských funkcí
2005 |
Matematicko-fyzikální fakulta
publication
APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*
2022 |
Matematicko-fyzikální fakulta
publication
Unique key Horn functions
2022 |
Matematicko-fyzikální fakulta
publication
Learning a Propagation Complete Formula
2022 |
Matematicko-fyzikální fakulta
Načíst další publikace (36)
Loading network view...