ask others

Florian Lonsing

> Home > Persons

Person information

affiliation: Vienna University of Technology

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/18/LonsingS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/18/LonsingS18
Florian Lonsing, Martina Seidl:
Parallel Solving of Quantified Boolean Formulas. Handbook of Parallel Constraint Reasoning 2018: 101-139
[i12]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-02908
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1804-02908
Florian Lonsing, Uwe Egly:
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property. CoRR abs/1804.02908 (2018)
2017
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/EglyKLP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/EglyKLP17
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler:
Conformant planning as a case study of incremental QBF solving. Ann. Math. Artif. Intell. 80(1): 21-45 (2017)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/LonsingE17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/LonsingE17
Florian Lonsing, Uwe Egly:
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. CADE 2017: 371-384
[i11]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LonsingE17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LonsingE17
Florian Lonsing, Uwe Egly:
Evaluating QBF Solvers: Quantifier Alternations Matter. CoRR abs/1701.06612 (2017)
[i10]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LonsingE17a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LonsingE17a
Florian Lonsing, Uwe Egly:
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. CoRR abs/1702.08256 (2017)
2016
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/LonsingSG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/LonsingSG16
Florian Lonsing, Martina Seidl, Allen Van Gelder:
The QBF Gallery: Behind the scenes. Artif. Intell. 237: 92-114 (2016)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LonsingES16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LonsingES16
Florian Lonsing, Uwe Egly, Martina Seidl:
Q-Resolution with Generalized Axioms. SAT 2016: 435-452
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BalyoL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BalyoL16
Tomás Balyo, Florian Lonsing:
HordeQBF: A Modular and Massively Parallel QBF Solver. SAT 2016: 531-538
[e1]
- view
- export record
  dblp key:
  - conf/sat/2016qbf
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/2016qbf
Florian Lonsing, Martina Seidl:
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. CEUR Workshop Proceedings 1719, CEUR-WS.org 2016 [contents]
[i9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BalyoL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BalyoL16
Tomás Balyo, Florian Lonsing:
HordeQBF: A Modular and Massively Parallel QBF Solver. CoRR abs/1604.03793 (2016)
[i8]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LonsingES16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LonsingES16
Florian Lonsing, Uwe Egly, Martina Seidl:
Q-Resolution with Generalized Axioms. CoRR abs/1604.05994 (2016)
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BloemEKKLS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BloemEKKLS16
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl:
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR abs/1604.06204 (2016)
2015
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jair/HeuleJLSB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jair/HeuleJLSB15
Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere:
Clause Elimination for SAT and QSAT. J. Artif. Intell. Res. 53: 127-168 (2015)
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/EglyLO15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/EglyLO15
Uwe Egly, Florian Lonsing, Johannes Oetsch:
Automated Benchmarking of Incremental SAT and QBF Solvers. LPAR 2015: 178-186
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/LonsingBBES15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/LonsingBBES15
Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl:
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. LPAR 2015: 418-433
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LonsingE15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LonsingE15
Florian Lonsing, Uwe Egly:
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API. SAT 2015: 191-198
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LonsingE15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LonsingE15
Florian Lonsing, Uwe Egly:
DepQBF: An Incremental QBF Solver Based on Clause Groups. CoRR abs/1502.02484 (2015)
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/EglyLO15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/EglyLO15
Uwe Egly, Florian Lonsing, Johannes Oetsch:
Automated Benchmarking of Incremental SAT and QBF Solvers. CoRR abs/1506.08563 (2015)
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LonsingSG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LonsingSG15
Florian Lonsing, Martina Seidl, Allen Van Gelder:
The QBF Gallery: Behind the Scenes. CoRR abs/1508.01045 (2015)
2014
[j3]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/JanotaJKLSG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/JanotaJKLSG14
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder:
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. JSAT 9: 187-206 (2014)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aisc/EglyKLP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aisc/EglyKLP14
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler:
Conformant Planning as a Case Study of Incremental QBF Solving. AISC 2014: 120-131
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/LonsingE14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/LonsingE14
Florian Lonsing, Uwe Egly:
Incremental QBF Solving. CP 2014: 514-530
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/BloemEKKL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/BloemEKKL14
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing:
SAT-based methods for circuit synthesis. FMCAD 2014: 31-34
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icms/LonsingE14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icms/LonsingE14
Florian Lonsing, Uwe Egly:
Incremental QBF Solving by DepQBF. ICMS 2014: 307-314
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/JordanKLS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/JordanKLS14
Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl:
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. SAT 2014: 430-437
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LonsingE14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LonsingE14
Florian Lonsing, Uwe Egly:
Incremental QBF Solving. CoRR abs/1402.2410 (2014)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/EglyKLP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/EglyKLP14
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler:
Conformant Planning as a Case Study of Incremental QBF Solving. CoRR abs/1405.7253 (2014)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BloemEKKL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BloemEKKL14
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing:
SAT-Based Methods for Circuit Synthesis. CoRR abs/1408.2333 (2014)
2013
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/EglyLW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/EglyLW13
Uwe Egly, Florian Lonsing, Magdalena Widl:
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving. LPAR 2013: 291-308
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LonsingEG13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LonsingEG13
Florian Lonsing, Uwe Egly, Allen Van Gelder:
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation. SAT 2013: 100-115
2012
[c9]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cade/SeidlLB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/SeidlLB12
Martina Seidl, Florian Lonsing, Armin Biere:
qbf2epr: A Tool for Generating EPR Formulas from QBF. PAAR@IJCAR 2012: 139-148
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/GelderWL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GelderWL12
Allen Van Gelder, Samuel B. Wood, Florian Lonsing:
Extended Failed-Literal Preprocessing for Quantified Boolean Formulas. SAT 2012: 86-99
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/NiemetzPLSB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/NiemetzPLSB12
Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere:
Resolution-Based Certificate Extraction for QBF - (Tool Presentation). SAT 2012: 430-435
2011
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/BiereLS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/BiereLS11
Armin Biere, Florian Lonsing, Martina Seidl:
Blocked Clause Elimination for QBF. CADE 2011: 101-115
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LonsingB11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LonsingB11
Florian Lonsing, Armin Biere:
Failed Literal Detection for QBF. SAT 2011: 259-272
2010
[j2]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/LonsingB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/LonsingB10
Florian Lonsing, Armin Biere:
DepQBF: A Dependency-Aware QBF Solver. JSAT 7(2-3): 71-76 (2010)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BrummayerLB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BrummayerLB10
Robert Brummayer, Florian Lonsing, Armin Biere:
Automated Testing and Debugging of SAT and QBF Solvers. SAT 2010: 44-57
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LonsingB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LonsingB10
Florian Lonsing, Armin Biere:
Integrating Dependency Schemes in Search-Based QBF Solvers. SAT 2010: 158-171

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/LonsingB09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/LonsingB09
Florian Lonsing, Armin Biere:
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. Electr. Notes Theor. Comput. Sci. 251: 83-95 (2009)
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LonsingB09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LonsingB09
Florian Lonsing, Armin Biere:
A Compact Representation for Syntactic Dependencies in QBFs. SAT 2009: 398-411
2008
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LonsingB08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LonsingB08
Florian Lonsing, Armin Biere:
Nenofex: Expanding NNF for QBF Solving. SAT 2008: 196-210

Coauthor Index

see FAQ

maintained by

at