Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
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 | |
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 | |
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 | ||
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 | |||
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 | |
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 | |
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 | |
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 | |||
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 |
Results 1-9 of 9 1