Prohlížení Disertační práce - 18000 dle předmětu "Satisfiability Modulo Theories"
Zobrazují se záznamy 1-1 z 1
-
Booleovská splnitelnost modulo simulace diferenciálních rovnic
; Vedoucí práce: Ratschan Stefan; Oponent práce: Fränzle Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-24)SAT řešiče se ukázaly jako vhodné nástroje v oblasti plánování a formální verifikace. Nicméně, kromě Booleovských omezení je často důležité modelovat také spojité jevy, k čemuž jsou nesmírně důležité diferenciální rovnice. ...