[  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.

Research Interests

• SAT
• QBF
• DQBF
• SMT

Publications

Some (not all) of my talk slides

• 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

Poster Presentations

• Stochastic Local Search for Satisfiability Modulo Theories, AAAI'15, Austin, Texas

Office

Science Park 3 (SCP3), 2nd Floor
Room S3 0257

Contact

andreas.froehlich@jku.at
https://fmv.jku.at/froehlich

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria