Prohlížení Bakalářské práce - 18102 dle autora "Ratschan Stefan"
-
Automatická syntéza funkcí pomocí řešičů splnitelnosti modulo teorií
Autor: Petr Nagy; Vedoucí práce: Ratschan Stefan; Oponent práce: Vogel Josef
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-17)Bakalářská práce se věnuje řešiči modulo teorií cvc5. Jejím prvotním cílem je výzkum možností řešiče pro automatickou syntézu funkcí a použití tohoto řešiče v praxi. Prozkoumává jeho chování pomocí existujících benchmarkových ...