![]() Thesis title |
![]() Year of announcement |
![]() Year of defence |
Thesis type | Thesis discipline | ![]() Supervisor |
![]() Author |
![]() Announced |
Assigned | Department | Faculty | |
![]() |
Minimum 0-Extensions of Graph Metrics | 2019/2020 | 2020/2021 | diploma thesis | IUI | RNDr. Jakub Bulín, Ph.D. | Mgr. Martin Dvořák | 11.12.2019 | 10.01.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
![]() |
Polymorphisms and Circuit Complexity | 2024/2025 | Bachelor's thesis | IOI | RNDr. Jakub Bulín, Ph.D. | 20.05.2025 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | ||
![]() |
Permutation group algorithms | 2018/2019 | 2019/2020 | Bachelor's thesis | MOM | RNDr. Jakub Bulín, Ph.D. | hidden![]() |
14.11.2018 | 14.12.2018 | Katedra algebry (32-KA) | MFF |
![]() |
Relational reasoning in vision-language models | 2023/2024 | 2024/2025 | Bachelor's thesis | IPP5 | RNDr. Jakub Bulín, Ph.D. | hidden![]() |
07.03.2024 | 12.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
![]() |
CSP over oriented trees | 2018/2019 | 2018/2019 | Bachelor's thesis | MOM | RNDr. Jakub Bulín, Ph.D. | hidden![]() |
14.11.2018 | 14.11.2018 | Katedra algebry (32-KA) | MFF |
![]() |
Consistency and relaxation techniques for constraint satisfaction problems | 2024/2025 | diploma thesis | IUIP | RNDr. Jakub Bulín, Ph.D. | hidden![]() |
19.05.2025 | 20.05.2025 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Results 1-6 of 6 1



