Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
Fast Approximations of Quantifier Elimination for Q3B
(Oliver Bukor)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bicnd/ | Informatika / | Práce na příbuzné téma
SMT Solving for Testing of Aerospace Systems
(Veronika Zemanová)2025, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zxq08/ | Informatika / | Práce na příbuzné téma
Efficient Abstraction Refinement for BDD-based SMT Solvers
(Tereza Schwarzová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j6pbe/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
SMT Solving for the Theory of Ordering Constraints using Vertex Elimination
(Richard Jandušík)2026, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v4v84/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
SMT Solving for the Theory of Bit-Vectors
(Martin Jonáš)2016, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ovulj/ | Informatika / | Práce na příbuzné téma
Caching SMT Queries in SymDivine
(Jan Mrázek)2016, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qxhst/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Nalezení vhodné aplikační oblasti pro modul EEG-SMT firmy Olimex
(Jan RUBÁŠ)2022, Bakalářská práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//savi43// | Informatika a výpočetní technika / Informatika | Práce na příbuzné téma
Syntéza strategií pro rodiny MDP s využitím SMT nástrojů pro robustní plánování
(Doubravka Šimůnková)2026, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//lew00e// | Informační technologie / | Práce na příbuzné téma