Theses on a related topic (having the same keywords):
satisfiability, satisfiability modulo theories, quantifier instantiation, dpll, cdcl, bit-vectors, quantifiers, binary decision diagramsKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
2.
Podhorská, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace ve výuce logiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace ve výuce logiky | Theses on a related topic
3.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic
4.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic
5.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
6.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Theses on a related topic
7.
Jankaničová, Natália
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algorithms for Counting of Maximal Satisfiable Subsets | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algorithms for Counting of Maximal Satisfiable Subsets | Theses on a related topic
8.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Fundamental Properties of Probabilistic Branching-Time Logics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Fundamental Properties of Probabilistic Branching-Time Logics | Theses on a related topic
9.
Nahálková, Magdaléna
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures, Italian Language and Literature
Bachelor's thesis defence: Kvantifikácia vo fínčine | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures, Italian Language and Literature
Bachelor's thesis defence: Kvantifikácia vo fínčine | Theses on a related topic
10.
Navrátil, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan | Theses on a related topic
11.
Pavlík, Matěj
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementation of 3-valued BDDs in Q3B | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementation of 3-valued BDDs in Q3B | Theses on a related topic
12.
Poláček, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Analýza Booleovských Sietí v Nástroji Pithya Pomocou Binárnych Rozhodovacích Diagramov | Theses on a related topic
13.
Síč, Juraj
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Satisfiability of DQBF Using Binary Decision Diagrams | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Satisfiability of DQBF Using Binary Decision Diagrams | Theses on a related topic
14.
Stražovský, Oldřich
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
15.
Szymsza, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Tuned Sifting in CUDD for Satisfiability Solving | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Tuned Sifting in CUDD for Satisfiability Solving | Theses on a related topic
16.
Šulíková, Žaneta
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: General Linguistics / Andragogy, General Linguistics
Master's thesis defence: Distributivita, kvantifikátory a interpretace jmenných frází v přirozeném jazyce: akviziční experiment | Theses on a related topic
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: General Linguistics / Andragogy, General Linguistics
Master's thesis defence: Distributivita, kvantifikátory a interpretace jmenných frází v přirozeném jazyce: akviziční experiment | Theses on a related topic