Práce na stejné téma (mají shodná klíčová slova):
smt solverKlíčová slova abecedně | Klíčová slova dle četnosti
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
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 | Práce na příbuzné téma
Tuned Sifting in CUDD for Satisfiability Solving
(Jakub Szymsza)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/g6yuf/ | Informatika / | Práce na příbuzné téma
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 / | Práce na příbuzné téma
Abstraction-Based Analysis of Continuous-Time Models in System Biology
(Jana Dražanová)2022, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bjes9/ | Informatika / Fundamenty informatiky | Práce na příbuzné téma
Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan
(Peter Navrátil)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lij5a/ | Aplikovaná informatika / | Práce na příbuzné téma