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

quantifier localisation, satisfiability, dependency quantified boolean formula, dqbf, quantifier elimination, binary decision diagram, bdd

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

1.
Fiedler, Adam
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Deduction in Matching Logic | Práce na příbuzné téma Zobrazit popisek

2.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma

3.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Práce na příbuzné téma

4.
Chudíček, Lukáš
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Symbolic representation of multi-valued logical models in Rust | Práce na příbuzné téma

5.
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

6.
Jankaničová, Natália
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Algorithms for Counting of Maximal Satisfiable Subsets | Práce na příbuzné téma

7.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Práce na příbuzné téma

8.
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

9.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Fundamental Properties of Probabilistic Branching-Time Logics | Práce na příbuzné téma

10.
Novák, Ivan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Testování řízené chováním v prostředí webové aplikace Kentico CMS | Práce na příbuzné téma

11.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems | Práce na příbuzné téma

12.
Podhorská, Zuzana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Animace ve výuce logiky | Práce na příbuzné téma

13.
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

14.
Štěpánek, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Eliminace kvantifikátorů v logice reálných čísel | Práce na příbuzné téma