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.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue 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
6Egly, Uwe Translations from QBFs to First-order LogicPräsentation Presentation2016
7Lonsing, Florian Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and ChallengesPräsentation Presentation2016
8Lonsing, Florian Submissions to QBFEVAL'16Präsentation Presentation2016
9Lonsing, Florian An Overview of QBF Reasoning TechniquesPräsentation Presentation2016
10Lonsing, Florian ; Seidl, Martina Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)Konferenzband Proceedings 2016
11Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
12Balyo, Tomáš ; Lonsing, Florian HordeQBF: A Modular and Massively Parallel QBF SolverKonferenzbeitrag Inproceedings 2016
13Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
14Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery: Behind the ScenesArtikel Article 2016
15Janota, 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
16Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
17Lonsing, Florian Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationPräsentation Presentation2015
18Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
19Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
20Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015