TNF / INF
[ research |
publications | talks | software |
teaching | awards | office |
contact | address ]
DI Florian Lonsing
From 2008 to 2012, I was doctoral student and assistant at FMV.
In June 2012, I joined the Knowledge-Based Systems Group at
Vienna University of Technology as a post-doctoral researcher.
My thesis (advisor: Armin Biere) can be found here: PDF.
By June 2012 this page is no longer maintained. My new
webpage is at http://www.kr.tuwien.ac.at/staff/lonsing/.
A list of my publications can be found here: Publications
- QBF (Quantified Boolean Formulae)
- Formal Verification
Clause Elimination for QBF, CADE'11, Wroclaw, Poland
Literal Detection for QBF, SAT'11, Ann Arbor, Michigan,
QBF: Failed Literals and Quantified Blocked Clause Elimination
, Deduction at Scale Seminar, Ringberg Castle, Tegernsee,
Aspects of Dependency Schemes in QBF Solving, AVM'10, Lugano,
- Integrating Dependency Schemes in Search-Based QBF Solvers (
SAT'10, Edinburgh, Scotland, UK
- DepQBF: A
Dependency-Aware QBF Solver (System Description), POS'10,
Edinburgh, Scotland, UK
- A Compact
Representation for Syntactic Dependencies in QBFs, SAT'09,
Swansea, Wales, UK
Representing Existential Dependency Sets for Expansion-based QBF
Solvers, MEMICS'08, Znojmo, Czech Republic
Expanding NNF for QBF Solving, SAT'08, Guangzhou, P. R.
- DepQBF, a search-based
- QxBF, a QBF preprocessor
based on failed literal detection.
- BlocksQBF, a random
- You might also be interested in QBFuzz, QBFDD, and Bloqqer.
- Experimental tool on
compact representations for dependencies in QBFs.
- Formal Models (Formale Modelle), Exercises: Summer 2008, 2009,
- Spezielle Kapitel aus Informatik (Pthreads Programming in C):
Summer 2008, 2009
- Model Checking, Exercises: Winter 2008, 2009, 2010
- Seminar in Formal Verification: Winter 2008, 2009
TNF Tower, 7th Floor, North-West
+43 732 2468 8870 (phone)
+43 732 2468 8893 (fax)
Institute for Formal Models and Verification
Johannes Kepler University