BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × China
1 × Finland
1 × Italy
1 × Poland
2 × USA
2 × United Kingdom
Collaborated with:
A.Biere U.Egly M.Seidl A.V.Gelder S.B.Wood R.Brummayer C.Jordan L.Kaiser A.Niemetz M.Preiner
Talks about:
qbf (11) solver (4) claus (3) base (3) quantifi (2) formula (2) boolean (2) search (2) depend (2) liter (2)

Person: Florian Lonsing

DBLP DBLP: Lonsing:Florian

Contributed to:

SAT 20152015
SAT 20142014
SAT 20132013
SAT 20122012
CADE 20112011
SAT 20112011
SAT 20102010
SAT 20092009
SAT 20082008
CADE 20172017
IJCAR 20182018

Wrote 13 papers:

SAT-2015-LonsingE #api #incremental #satisfiability
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (FL, UE), pp. 191–198.
SAT-2014-JordanKLS #named #parallel #towards
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (CJ, LK, FL, MS), pp. 430–437.
SAT-2013-LonsingEG #learning #performance #pseudo #quantifier
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.
SAT-2012-GelderWL #preprocessor #quantifier
Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (AVG, SBW, FL), pp. 86–99.
Resolution-Based Certificate Extraction for QBF — (AN, MP, FL, MS, AB), pp. 430–435.
Blocked Clause Elimination for QBF (AB, FL, MS), pp. 101–115.
SAT-2011-LonsingB #detection
Failed Literal Detection for QBF (FL, AB), pp. 259–272.
SAT-2010-BrummayerLB #automation #debugging #satisfiability #testing
Automated Testing and Debugging of SAT and QBF Solvers (RB, FL, AB), pp. 44–57.
SAT-2010-LonsingB #dependence #search-based
Integrating Dependency Schemes in Search-Based QBF Solvers (FL, AB), pp. 158–171.
SAT-2009-LonsingB #dependence #representation
A Compact Representation for Syntactic Dependencies in QBFs (FL, AB), pp. 398–411.
SAT-2008-LonsingB #named
Nenofex: Expanding NNF for QBF Solving (FL, AB), pp. 196–210.
CADE-2017-LonsingE #search-based
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL (FL, UE), pp. 371–384.
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property (FL, UE), pp. 161–177.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.