team
contact
software
publications
teaching
jobs
Dissertations
This page lists PhD theses conducted at FMV.
2020
Katalin Fazekas. On
SAT-based Solution Methods for Computational Problems.
Dissertation Technische Wissenschaften, Informatik, Johannes
Kepler University, Linz, 2020.
[ thesis
| bibtex
]
Daniela Kaufmann. Formal
Verification of Multiplier Circuits using Computer Algebra.
Dissertation Technische Wissenschaften, Informatik, Johannes
Kepler University, Linz, 2020.
[ thesis
| bibtex
]
2017
Aina Niemetz. Bit Precise
Reasoning Beyond Bit-Blasting. Dissertation Technische
Wissenschaften, Informatik, Johannes Kepler University, Linz,
2017.
[ thesis
| bibtex
]
Mathias Preiner. Lambdas,
Arrays and Quantifiers. Dissertation Technische
Wissenschaften, Informatik, Johannes Kepler University, Linz,
2017.
[ thesis
| bibtex
]
2016
Andreas Fröhlich. Theoretical
and Practical Aspects of Bit-Vector Reasoning.
Dissertation Technische Wissenschaften, Informatik, Johannes
Kepler University, Linz, 2016.
[ thesis
| bibtex
]
2012
Florian Lonsing. Dependency
Schemes and Search-Based QBF Solving: Theory and Practice.
Dissertation Technische Wissenschaften, Informatik, Johannes
Kepler University, Linz, 2012.
[ thesis
| bibtex
]
2009
Robert Brummayer. Efficient
SMT Solving for Bit-Vectors and the Extensional Theory of
Arrays Dissertation Technische Wissenschaften,
Informatik, Johannes Kepler University, Linz, 2009.
[ thesis
| bibtex
]