![JKU](https://fmv.jku.at/jkulogo.png)
TNF
/ INF
team
contact
software
publications
teaching
jobs
![GI-Dissertation Award 2020](https://fmv.jku.at/gi-dissertationaward-2020-icon.png)
![FMCAD'20 Student Forum Best Student Contribution](https://fmv.jku.at/fmcad20-phd-forum-best-contribution-icon.jpg)
![SAT'20 Best Presentation Award](https://fmv.jku.at/best-presentation-award-SAT20-icon.jpg)
![GCAI'19 Post and Interaction Award](https://fmv.jku.at/gcai19certificate-icon.jpg)
![IJCAI-JAIR 2019 Award](https://fmv.jku.at/ijcai-jair-2019-award-icon.jpg)
![SAT'19 Best Student Paper](https://fmv.jku.at/sat19-best-student-paper-award-icon.jpg)
![CAV'18 Award](https://fmv.jku.at/bmc/cav18award-icon.png)
![HVC'17 Best Paper](https://fmv.jku.at/hvc17-best-paper-award-icon.jpg)
![ETAPS'17 Test of Time Award](https://fmv.jku.at/etaps2017totaward.jpg)
![HVC'15 Award](https://fmv.jku.at/hvc15awardicon.jpg)
![FMCAD'17 Best Paper](https://fmv.jku.at/fmcad17-best-paper-award-icon.jpg)
![CADE'17 Best Paper](https://fmv.jku.at/cade17-best-paper-award-icon.jpg)
![BMC](https://fmv.jku.at/award-most-influential-paper-in-the-first-20-years-of-tacas-small.jpg)
![Handbook of Satisfiability](https://fmv.jku.at/hbsat.png)
![UML@Classroom](https://fmv.jku.at/uml-en.png)
![UML@Classroom](https://fmv.jku.at/uml-de.png)
![www.digitaltechnik.org](https://fmv.jku.at/dtbook.png)
|
[ research |
publications | talks | posters |
office | contact | address ]
Dr Andreas Fröhlich
I was a computer science Ph.D. student at FMV supervised by
Prof. Armin Biere and
defended my thesis on April 28, 2016.
A list of my publications can be found here: Publications
- Theoretical
and Practical Aspects of Bit-Vector Reasoning, PhD Defense,
2016, Linz, Austria
- Bit-Vectors:
Complexity and Decision Procedures, Theory and Practice of SAT
Solving, 2015, Dagstuhl, Germany
- More on the
Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics ,
CSR'13, Ekaterinburg, Russia
- On the
Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded
Bit-Width, PUMA & RiSE Workshop'12, Goldegg, Austria
- A
DPLL Algorithm for Solving DQBF, POS'12, Trento, Italy
- Improving
stochastic local search for SAT with a new probability
distribution, SAT'10, Edinburgh, Scotland
Science Park 3 (SCP3), 2nd
Floor
Room S3 0257
andreas.froehlich@jku.at
https://fmv.jku.at/froehlich
Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria
|