Sotabase

Career

· Software Engineer, Stanford University2024–
· Postdoctoral Researcher, TU Wien2012–2018
· Assistant and Doctoral Student, Johannes Kepler University (JKU)2008–2012
· Research Scientist, Amazon Web Services

Publications (50)

DepQBF: A Dependency-Aware QBF Solver
Journal on Satisfiability, Boolean Modeling and Computation · 2010
159
cited
Blocked Clause Elimination for QBF
CADE · 2011
127
cited
Automated Testing and Debugging of SAT and QBF Solvers
International Conference on Theory and Applications of Satisfiability Testing · 2010
113
cited
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL
CADE · 2017
78
cited
Clause Elimination for SAT and QSAT
Journal of Artificial Intelligence Research · 2015
76
cited
Resolution-Based Certificate Extraction for QBF - (Tool Presentation)
International Conference on Theory and Applications of Satisfiability Testing · 2012
65
cited
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
Logic Programming and Automated Reasoning · 2013
60
cited
Integrating Dependency Schemes in Search-Based QBF Solvers
International Conference on Theory and Applications of Satisfiability Testing · 2010
57
cited
Nenofex: Expanding NNF for QBF Solving
International Conference on Theory and Applications of Satisfiability Testing · 2008
51
cited
Conformant planning as a case study of incremental QBF solving
Annals of Mathematics and Artificial Intelligence · 2014
42
cited
Pono: A Flexible and Extensible SMT-Based Model Checker
International Conference on Computer Aided Verification · 2021
36
cited
Quantified Boolean Formulas
Handbook of Satisfiability · 2021
36
cited
BTOR: bit-precise modelling of word-level problems for model checking
SMT '08/BPR '08 · 2008
35
cited
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
Logic Programming and Automated Reasoning · 2015
34
cited
SAT-based methods for circuit synthesis
Formal Methods in Computer-Aided Design · 2014
33
cited
Q-Resolution with Generalized Axioms
International Conference on Theory and Applications of Satisfiability Testing · 2016
29
cited
Evaluating QBF Solvers: Quantifier Alternations Matter
International Conference on Principles and Practice of Constraint Programming · 2017
28
cited
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation
International Conference on Theory and Applications of Satisfiability Testing · 2013
25
cited
The QBF Gallery: Behind the scenes
Artificial Intelligence · 2015
25
cited
qbf2epr: A Tool for Generating EPR Formulas from QBF
PAAR@IJCAR · 2013
24
cited
Sotabase
Florian Lonsing | Researcher Profile | Sotabase | Sotabase