ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "nested"
nested
Osoba
Předměty
Osoby
Publikace
Studium
prof. RNDr. Ondřej Čepek Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
10 předmětů
14 studijních programů
103 publikací
Předměty
class
Booleovské funkce a jejich aplikace
NAIL021 |
Matematicko-fyzikální fakulta
class
Algoritmy a datové struktury 1
NTIN060 |
Matematicko-fyzikální fakulta
class
Složitost
+1
NTIN063 |
Matematicko-fyzikální fakulta
class
Základy složitosti a vyčíslitelnosti
+1
NTIN090 |
Matematicko-fyzikální fakulta
class
Seminář z Booleovských funkcí 1
NTIN093 |
Matematicko-fyzikální fakulta
class
Seminář z Booleovských funkcí 2
NTIN094 |
Matematicko-fyzikální fakulta
class
Pseudo-Booleovská optimalizace
NTIN096 |
Matematicko-fyzikální fakulta
class
Výběrová přednáška na NCSU Prague
NTIN109 |
Matematicko-fyzikální fakulta
Studijní programy
programme
Informatika
+1
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
programme
Informatika se specializací Počítačová grafika, vidění a vývoj her
+1
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
programme
Informatika se specializací Obecná informatika
+1
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
programme
Informatika se specializací Programování a vývoj software
+1
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
programme
Informatika se specializací Systémové programování
+1
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
programme
Informatika se specializací Webové a datově orientované programování
+1
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
programme
Informatika se specializací Umělá inteligence
+1
🇨🇿 Bc. |
Matematicko-fyzikální fakulta
Načíst další studijní programy (4)
Publikace
publication
APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*
2022 |
Matematicko-fyzikální fakulta
publication
Unique key Horn functions
2022 |
Matematicko-fyzikální fakulta
publication
Switch lists in the landscape of knowledge representations languages
2022 |
Matematicko-fyzikální fakulta
publication
A Direct Equivalence-Testing Algorithm for SLRs
2022 |
Matematicko-fyzikální fakulta
publication
Generating clause sequences of a CNF formula
2021 |
Matematicko-fyzikální fakulta
publication
Properties of Switch-List Representations of Boolean Functions
2020 |
Matematicko-fyzikální fakulta
publication
Switch-List Representations in a Knowledge Compilation Map
2020 |
Matematicko-fyzikální fakulta
publication
Compiling SL representations of Boolean functions into OBDDs
2020 |
Matematicko-fyzikální fakulta
publication
Approximating minimum representations of key Horn functions
2020 |
Matematicko-fyzikální fakulta
publication
Separable discrete functions: Recognition and sufficient conditions
2019 |
Matematicko-fyzikální fakulta
Načíst další publikace (93)
Loading network view...