|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Lonsing, Florian ; Egly, Uwe | Evaluating QBF Solvers: Quantifier Alternations Matter | Bericht Report | 2017 |
| 2 | | Lonsing, Florian | Parallel QBF Solving: State of the Art Techniques and Future Perspectives | Präsentation Presentation | 2017 |
| 3 | | Lonsing, Florian | An Introduction to QBF Solving | Präsentation Presentation | 2017 |
| 4 | | Lonsing, Florian | Evaluating QBF Solvers: Quantifier Alternations Matter | Präsentation Presentation | 2017 |
| 5 | | Lonsing, Florian ; Egly, Uwe | DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL | Konferenzbeitrag Inproceedings  | 2017 |
| 6 | | Egly, Uwe | Translations from QBFs to First-order Logic | Präsentation Presentation | 2016 |
| 7 | | Lonsing, Florian | Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and Challenges | Präsentation Presentation | 2016 |
| 8 | | Lonsing, Florian | Submissions to QBFEVAL'16 | Präsentation Presentation | 2016 |
| 9 | | Lonsing, Florian | An Overview of QBF Reasoning Techniques | Präsentation Presentation | 2016 |
| 10 | | Balyo, Tomáš ; Lonsing, Florian | HordeQBF: A Modular and Massively Parallel QBF Solver | Konferenzbeitrag Inproceedings | 2016 |
| 11 | | Egly, Uwe | On Stronger Calculi for QBFs | Konferenzbeitrag Inproceedings | 2016 |
| 12 | | Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas | Conformant Planning as a Case Study of Incremental QBF Solving | Artikel Article | 2016 |
| 13 | | Lonsing, Florian ; Egly, Uwe ; Seidl, Martina | Q-Resolution with Generalized Axioms | Konferenzbeitrag Inproceedings | 2016 |
| 14 | | Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen | The QBF Gallery: Behind the Scenes | Artikel Article | 2016 |
| 15 | | Janota, Mikolás ; Jordan, Charles ; Klieber, Will ; Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen | The QBF Gallery 2014: The QBF Competition at the FLoC Olympic Games | Artikel Article | 2016 |
| 16 | | Lonsing, Florian ; Seidl, Martina | Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) | Konferenzband Proceedings | 2016 |
| 17 | | Lonsing, Florian | Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination | Präsentation Presentation | 2015 |
| 18 | | Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes | Automated Benchmarking of Incremental SAT and QBF Solvers | Konferenzbeitrag Inproceedings | 2015 |
| 19 | | Lonsing, Florian ; Egly, Uwe | Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API | Konferenzbeitrag Inproceedings | 2015 |
| 20 | | Creignou, Nadia ; Daudé, Hervé ; Egly, Uwe ; Rossignol, Raphaël | Exact location of the phase transition for random (1,2)-QSAT | Artikel Article | 2015 |
