ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "extension"
extension
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
Analyza DNA Microarray pomocí booleovských technik
2011 |
Matematicko-fyzikální fakulta
publication
Skrytě intervalová rozšíření částečně definovaných booleovských funkcí
2007 |
Matematicko-fyzikální fakulta
publication
Nejlépe padnoucí intervalová rozšíření částečně definovaných Booleovských funkcí
2007 |
Matematicko-fyzikální fakulta
publication
Intervalová rozšíření částečně definovaných booleovských funkcí
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
publication
Propagation complete encodings of smooth DNNF theories
2022 |
Matematicko-fyzikální fakulta
Načíst další publikace (36)
Loading network view...