Theses on the same topic (having an identical keyword):
aproximaceKeywords ordered alphabetically | Keywords ordered by occurrence rate
Aproximace formulí v teorii bit-vektorů
(Kateřina Sloupová)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xawo3/ | Aplikovaná informatika / | Theses on a related topic
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
(Martin Jonáš)2019, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cg101/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Aproximace formulí v teorii bit-vektorů
(Kateřina Sloupová)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xawo3/ | Aplikovaná informatika / | Theses on a related topic
Vliv aproximací bit-vektorů na výkon nástroje Z3
(Dominika Krejčí)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mw2sk/ | Aplikovaná informatika / | Theses on a related topic
Paralelní volání SMT solverů v nástroji Bugst
(Viktor Toman)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uy033/ | Informatika / Matematická informatika | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
Znovupoužití známých výsledků SMT dotazů
(Martin Kučera)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cluo1/ | Informatika / Matematická informatika | Theses on a related topic
Verifikace konečných systémů pomocí SMT-solveru
(Martin Milata)2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ek0l1/ | Informatika / | Theses on a related topic