Theses on a related topic (having the same keywords):
boolean satisfiability, propositional satisfiability, cudd, conflict-driven clause learning, sat solving, binary decision diagramKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Huvar, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
2.
Chudíček, Lukáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Symbolic representation of multi-valued logical models in Rust | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Symbolic representation of multi-valued logical models in Rust | Theses on a related topic
3.
Klimoš, Miroslav
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algoritmická syntéza strategií pro detekci skrytých kódů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algoritmická syntéza strategií pro detekci skrytých kódů | Theses on a related topic
4.
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
5.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems | Theses on a related topic
6.
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
7.
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
8.
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