Quantified Boolean Formulas

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Boolean
 
Project Title (de) Projekttitel (de)
Quantified Boolean Formulas
 
Project Title (en) Projekttitel (en)
Quantified Boolean Formulas
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
S 11409-N23
 

Publications

Filter:
Author:  Lonsing, Florian

Results 1-20 of 27 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterBericht Report2017
2Lonsing, Florian Parallel QBF Solving: State of the Art Techniques and Future PerspectivesPräsentation Presentation2017
3Lonsing, Florian An Introduction to QBF SolvingPräsentation Presentation2017
4Lonsing, Florian Evaluating QBF Solvers: Quantifier Alternations MatterPräsentation Presentation2017
5Lonsing, Florian ; Egly, Uwe DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLKonferenzbeitrag Inproceedings 2017
6Lonsing, Florian Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and ChallengesPräsentation Presentation2016
7Lonsing, Florian Submissions to QBFEVAL'16Präsentation Presentation2016
8Lonsing, Florian An Overview of QBF Reasoning TechniquesPräsentation Presentation2016
9Balyo, Tomáš ; Lonsing, Florian HordeQBF: A Modular and Massively Parallel QBF SolverKonferenzbeitrag Inproceedings 2016
10Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
11Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
12Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery: Behind the ScenesArtikel Article 2016
13Janota, Mikolás ; Jordan, Charles ; Klieber, Will ; Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery 2014: The QBF Competition at the FLoC Olympic GamesArtikel Article 2016
14Lonsing, Florian Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationPräsentation Presentation2015
15Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
16Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015
17Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
18Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Clause Elimination for SAT and QSATArtikel Article 2015
19Lonsing, Florian Search-Based QBF SolvingPräsentation Presentation2014
20Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingPräsentation Presentation2014