TNF / INF
[ research |
publications | talks | software |
awards | office | contact |
Dipl.-Ing. Mathias Preiner
Since June 2012, I am a computer science Ph.D. student at FMV,
supervised by Prof. Armin
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