Theses on a related topic (having the same keywords):
q3b, smt-solving, cudd, bit-vectors, 3-valued bdds, binary decision diagrams (bdds)Keywords ordered alphabetically | Keywords ordered by occurrence rate
1.
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
2.
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
3.
Jandušík, Richard
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Boolean Satisfiability Procedure Combining CDCL and Binary Decision Diagrams | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Boolean Satisfiability Procedure Combining CDCL and Binary Decision Diagrams | Theses on a related topic
4.
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
5.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: SMT Solving for the Theory of Bit-Vectors | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: SMT Solving for the Theory of Bit-Vectors | Theses on a related topic
6.
Krumlová, Olga
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Rekonstrukce modelů zjednodušovaných formulí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Rekonstrukce modelů zjednodušovaných formulí | Theses on a related topic
7.
Kumor, Kristián
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Compact Symbolic Execution in Slowbeast | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Compact Symbolic Execution in Slowbeast | Theses on a related topic
8.
Macháček, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Extending Model-Based Projection with Invertibility Conditions | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Extending Model-Based Projection with Invertibility Conditions | Theses on a related topic
9.
Schwarzová, Tereza
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Efficient Abstraction Refinement for BDD-based SMT Solvers | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Efficient Abstraction Refinement for BDD-based SMT Solvers | Theses on a related topic