Name Card

Full name Familienname, Vorname
Lonsing, Florian Matthias
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 42 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wu-2023-Lightweight Online Learning for Sets of Related Problems in Autom...-vor.pdf.jpgWu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark Lightweight Online Learning for Sets of Related Problems in Automated ReasoningInproceedings Konferenzbeitrag Oct-2023
2Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsArtikel Article 2021
3Lonsing, Florian ; Egly, Uwe QRATPre+: Effective QBF Preprocessing via Strong Redundancy PropertiesKonferenzbeitrag Inproceedings 2019
4Lonsing, Florian ; Egly, Uwe $${\textsf {QRAT}}^{+}$$: Generalizing QRAT by a More Powerful QBF Redundancy PropertyKonferenzbeitrag Inproceedings 2018
5Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterKonferenzbeitrag Inproceedings 2018
6Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Expansion-Based QBF Solving Without RecursionKonferenzbeitrag Inproceedings 2018
7Lonsing, Florian ; Seidl, Martina Parallel Solving of Quantified Boolean FormulasBuchbeitrag Book Contribution2018
8Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterBericht Report2017
9Lonsing, Florian Parallel QBF Solving: State of the Art Techniques and Future PerspectivesPräsentation Presentation2017
10Lonsing, Florian An Introduction to QBF SolvingPräsentation Presentation2017
11Lonsing, Florian Evaluating QBF Solvers: Quantifier Alternations MatterPräsentation Presentation2017
12Lonsing, Florian ; Egly, Uwe DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLKonferenzbeitrag Inproceedings 2017
13Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
14Lonsing, Florian Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and ChallengesPräsentation Presentation2016
15Lonsing, Florian Submissions to QBFEVAL'16Präsentation Presentation2016
16Lonsing, Florian An Overview of QBF Reasoning TechniquesPräsentation Presentation2016
17Lonsing, Florian Advances in QBF ReasoningPräsentation Presentation2016
18Balyo, Tomáš ; Lonsing, Florian HordeQBF: A Modular and Massively Parallel QBF SolverKonferenzbeitrag Inproceedings 2016
19Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
20Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Charwat, Günther ; Woltran, Stefan Dynamic Programming-based QBF SolvingKonferenzbeitrag Inproceedings 2016
2Lonsing, Florian ; Seidl, Martina Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)Konferenzband Proceedings 2016
3Egly, Uwe ; Widl, Magdalena Solution extraction from long-distance resolution proofsKonferenzbeitrag Inproceedings 2013
4Slivovsky, Friedrich ; Szeider, Stefan Variable Dependencies and Q-ResolutionKonferenzbeitrag Inproceedings 2013