Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Lonsing, Florian

Results 1-20 of 35 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Lonsing, Florian Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and ChallengesPräsentation Presentation2016
2Lonsing, Florian ; Seidl, Martina The QBF Gallery 2013Präsentation Presentation2013
3Lonsing, Florian ; Seidl, Martina The QBF Gallery 2013Präsentation Presentation2013
4Lonsing, Florian ; Egly, Uwe $${\textsf {QRAT}}^{+}$$: Generalizing QRAT by a More Powerful QBF Redundancy PropertyKonferenzbeitrag Inproceedings 2018
5Lonsing, Florian Submissions to QBFEVAL'16Präsentation Presentation2016
6Lonsing, Florian Search-based QBF Solving: Basics, Recent Trends and ChallengesPräsentation Presentation2013
7Lonsing, Florian Search-Based QBF SolvingPräsentation Presentation2014
8Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian SAT-Based Methods for Circuit SynthesisKonferenzbeitrag Inproceedings 2014
9Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Resolution-Based Certificate Extraction for QBFKonferenzbeitrag Inproceedings 2012
10Lonsing, Florian ; Egly, Uwe QRATPre+: Effective QBF Preprocessing via Strong Redundancy PropertiesKonferenzbeitrag Inproceedings 2019
11Seidl, Martina ; Lonsing, Florian ; Biere, Armin ; Fontaine, Pascal ; Schmidt, Renate ; Schulz, Stephan qbf2epr: A Tool for Generating EPR Formulas from QBFKonferenzbeitrag Inproceedings2012
12Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
13Lonsing, Florian ; Seidl, Martina Parallel Solving of Quantified Boolean FormulasBuchbeitrag Book Contribution2018
14Lonsing, Florian Parallel QBF Solving: State of the Art Techniques and Future PerspectivesPräsentation Presentation2017
15Jordan, Charles ; Kaiser, Lukasz ; Lonsing, Florian ; Seidl, Martina MPIDepQBF: Towards Parallel QBF Solving without Knowledge SharingKonferenzbeitrag Inproceedings 2014
16Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
17Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015
18Lonsing, Florian ; Egly, Uwe Incremental QBF Solving by DepQBFKonferenzbeitrag Inproceedings2014
19Lonsing, Florian ; Egly, Uwe Incremental QBF SolvingKonferenzbeitrag Inproceedings 2014
20Lonsing, Florian Incremental QBF SolvingPräsentation Presentation2014

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