Práce na příbuzné téma (mají shodná klíčová slova):

partial bdds, q3b, smt-solving, cudd, sifting, binary decision diagrams

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Pavlík, Matěj
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementation of 3-valued BDDs in Q3B | Práce na příbuzné téma Zobrazit popisek

2.
Navrátil, Peter
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan | Práce na příbuzné téma

3.
Jandušík, Richard
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Boolean Satisfiability Procedure Combining CDCL and Binary Decision Diagrams | Práce na příbuzné téma

4.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: SMT Solving for the Theory of Bit-Vectors | Práce na příbuzné téma

5.
Krumlová, Olga
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Rekonstrukce modelů zjednodušovaných formulí | Práce na příbuzné téma

6.
Kumor, Kristián
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Compact Symbolic Execution in Slowbeast | Práce na příbuzné téma

7.
Macháček, Tomáš
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Extending Model-Based Projection with Invertibility Conditions | Práce na příbuzné téma

8.
Poláček, Jakub
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov | Práce na příbuzné téma

9.
Schwarzová, Tereza
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Efficient Abstraction Refinement for BDD-based SMT Solvers | Práce na příbuzné téma

10.
Stražovský, Oldřich
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma