Meno:
Samuel
Priezvisko:
Vavrek
Nazov:
Produktový fuzzy SAT solver na báze dichotomickej DPLL procedúry
Veduci:
Mgr. Ivor Uhliarik, PhD.
Katedra:
KI
Súbory
:
predobhajoby_vavrek.pdf
Upraviť