Theses on the same topic (having an identical keyword):
smt-libKeywords ordered alphabetically | Keywords ordered by occurrence rate
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
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
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