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

A list of my publications can be found here: Publications

Some (not all) of my talk slides

Poster Presentations

Office

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

Contact

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

Address

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