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

boolean satisfiability, propositional satisfiability, cudd, conflict-driven clause learning, sat solving, binary decision diagram

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

1.
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 Zobrazit popisek

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

3.
Klimoš, Miroslav
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Algoritmická syntéza strategií pro detekci skrytých kódů | Práce na příbuzné téma

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

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

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

7.
Síč, Juraj
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Satisfiability of DQBF Using Binary Decision Diagrams | Práce na příbuzné téma

8.
Szymsza, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Tuned Sifting in CUDD for Satisfiability Solving | Práce na příbuzné téma