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

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Lonsing, Florian Evaluating QBF Solvers: Quantifier Alternations MatterPräsentation Presentation2017
2Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterBericht Report2017
3Lonsing, Florian Parallel QBF Solving: State of the Art Techniques and Future PerspectivesPräsentation Presentation2017
4Lonsing, Florian An Introduction to QBF SolvingPräsentation Presentation2017
5Lonsing, Florian ; Egly, Uwe DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLKonferenzbeitrag Inproceedings 2017
6Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery: Behind the ScenesArtikel Article 2016
7Egly, Uwe Translations from QBFs to First-order LogicPräsentation Presentation2016
8Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
9Janota, 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
10Lonsing, Florian Submissions to QBFEVAL'16Präsentation Presentation2016
11Lonsing, Florian An Overview of QBF Reasoning TechniquesPräsentation Presentation2016
12Lonsing, Florian Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and ChallengesPräsentation Presentation2016
13Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
14Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
15Balyo, Tomáš ; Lonsing, Florian HordeQBF: A Modular and Massively Parallel QBF SolverKonferenzbeitrag Inproceedings 2016
16Lonsing, Florian ; Seidl, Martina Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)Proceedings Tagungsband 2016
17Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Clause Elimination for SAT and QSATArtikel Article 2015
18Lonsing, Florian Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationPräsentation Presentation2015
19Creignou, Nadia ; Daudé, Hervé ; Egly, Uwe ; Rossignol, Raphaël Exact location of the phase transition for random (1,2)-QSATArtikel Article 2015
20Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015