![]() |
Florian Lonsing |
|||||
|
||||||
|
Home | Publications | Software | Talks |
I am a researcher in Clark Barrett's group in the Computer Science Department at Stanford University, which I joined in January 2019.
From June 2012 to September 2018 I was a postdoctoral researcher in the Knowledge-Based Systems Group (KBS) within the Institute of Logic and Computation at TU Wien, Austria. My position was part of the RiSE national research network.
Previously, from 2008 to 2012, I was assistant and doctoral student at the Institute of Formal Models and Verification (FMV) at Johannes Kepler University (JKU) in Linz, Austria.
Between 2008 and 2018, primarily I worked on solving techniques for quantified boolean formulae (QBF) and related practical aspects.
Since 2009, I have been developing the QBF solver DepQBF. See also my dissertation.
The latest release of DepQBF is available from GitHub: http://lonsing.github.io/depqbf/.
April 2018: first release of our new QBF preprocessor QRATPre+ (source code on GitHub, related paper at IJCAR 2018).
I was a co-organizer / program co-chair of:
Link to list of software.
Link to list of talks.