  Title |
Year of announcement |
Year of defence |
Type of assignment | Specialization | 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 | |
|
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 |
|
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-7 of 7 1