Název práce | Rok vypsání | Rok obhájení | Typ práce | Obor práce | Vedoucí / školitel | Řešitel | Vypsáno | Zadáno | Ústav | Fakulta | |
Aplikace SAT řešiců pro hledání konečných modelů | 2023/2024 | diplomová práce | MITPN | Mgr. Mikoláš Janota, Ph.D. | skrytý | 09.12.2023 | 13.12.2023 | Katedra algebry (32-KA) | MFF |
Výsledky 1-1 z 1 1