  Thesis title |
Year of announcement |
 Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
New techniques in knowledge compilation and their application | 2021/2022 | dissertation | P4I1 | RNDr. Petr Kučera, Ph.D. | hidden |
07.03.2018 | 08.02.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
|
Effective implementation of DP elimination | 2023/2024 | diploma thesis | RNDr. Petr Kučera, Ph.D. | hidden |
15.03.2024 | 01.04.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Heuristic approaches to the compilation to the SLR representation | 2023/2024 | Bachelor's thesis | RNDr. Petr Kučera, Ph.D. | Pavel Humlíček | 10.01.2024 | 12.01.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
|
Compilation of a CNF into a backdoor decomposable monotone circuit | 2020/2021 | 2020/2021 | diploma thesis | IUI | RNDr. Petr Kučera, Ph.D. | hidden |
08.12.2020 | 08.12.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Arrows following game for Android | 2015/2016 | 2015/2016 | Bachelor's thesis | IPSS | RNDr. Petr Kučera, Ph.D. | hidden |
25.02.2016 | 25.02.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
O-Hunter | 2015/2016 | 2015/2016 | Bachelor's thesis | IOI | RNDr. Petr Kučera, Ph.D. | hidden |
29.02.2016 | 29.02.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Extensions to the class of matched formulae | 2014/2015 | 2014/2015 | diploma thesis | ITI | RNDr. Petr Kučera, Ph.D. | hidden |
23.03.2015 | 23.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Minimum representations of Boolean functions defined by multiple intervals | 2014/2015 | 2014/2015 | diploma thesis | ITI | RNDr. Petr Kučera, Ph.D. | Mgr. Filip Bártek | 23.03.2015 | 24.03.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
|
Equation editor for Android | 2013/2014 | 2013/2014 | Bachelor's thesis | IP | RNDr. Petr Kučera, Ph.D. | hidden |
05.03.2014 | 05.03.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Results 1-9 of 9 1