ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "partial"
partial
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
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
Learning a Propagation Complete Formula
2022 |
Matematicko-fyzikální fakulta
publication
Bounds on the size of PC and URC formulas
2020 |
Matematicko-fyzikální fakulta
publication
On the size of CNF formulas with high propagation strength
2020 |
Matematicko-fyzikální fakulta
publication
On Minimum Representations of Matched Formulas
2014 |
Matematicko-fyzikální fakulta
publication
Complexity Issues Related to Propagation Completeness
2013 |
Matematicko-fyzikální fakulta
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
Načíst další publikace (36)
Loading network view...