TNF / INF
[ research |
publications | talks | software |
awards | office | contact |
Dipl.-Ing. Dr. Mathias Preiner
From June 2012 to April 2017 I was a computer science Ph.D.
student at FMV, supervised by Prof. Armin Biere.
A list of my publications can be found here: Publications
- Satisfiability Modulo Theories (SMT)
- Automated Testing and Debugging Techniques
- Better Lemmas
with Lambda Extraction, FMCAD'15, Austin, Texas, USA
- Lemmas on
Demand for Lambdas, DIFTS'13, Portland, Oregon, USA
Certificate Extraction for QBF, AVM'12, Passau, Germany
My work in boolector
contributed to the following awards:
- Boolector, an SMT
solver for bit-vectors and arrays.
- QRPcert, a tool for
extracting Skolem/Herbrand function-based QBF certificates.
- CertCheck, a tool
for validating QBF certificates extracted by QRPcert.
- QxBF, a QBF preprocessor
based on failed literal detection.
- QBFuzz, a fuzzer for
generating random QBF formulae.
Science Park 3 (SCP3), 2nd
+43 732 2468 4553 (phone)
Institute for Formal Models and Verification
Johannes Kepler University