Dissertations

This page lists PhD theses conducted at FMV.

2017

Aina Niemetz. Bit Precise Reasoning Beyond Bit-Blasting. Dissertation Technische Wissenschaften, Informatik, Johannes Kepler Univerity, Linz, 2017.
[ thesis | bibtex ]

Mathias Preiner. Lambdas, Arrays and Quantifiers. Dissertation Technische Wissenschaften, Informatik, Johannes Kepler Univerity, 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 ]