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:  Egly, Uwe

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

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterBericht Report2017
2Lonsing, Florian ; Egly, Uwe DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLKonferenzbeitrag Inproceedings 2017
3Egly, Uwe Translations from QBFs to First-order LogicPräsentation Presentation2016
4Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
5Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
6Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
7Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
8Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015
9Creignou, Nadia ; Daudé, Hervé ; Egly, Uwe ; Rossignol, Raphaël Exact location of the phase transition for random (1,2)-QSATArtikel Article2015
10Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
11Egly, Uwe Deduction Concepts for Quantified Boolean FormulasPräsentation Presentation2014
12Egly, Uwe Quantifier Handling in Different Calculi for Quantified Boolean FormulasPräsentation Presentation2014
13Egly, Uwe On the Relation between Resolution Calculi for QBFs and First-order FormulasPräsentation Presentation2014
14Egly, Uwe Quantifier handling in calculi for quantified Boolean formulasPräsentation Presentation2014
15Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingPräsentation Presentation2014
16Lonsing, Florian ; Egly, Uwe Incremental QBF SolvingKonferenzbeitrag Inproceedings 2014
17Lonsing, Florian ; Egly, Uwe Incremental QBF Solving by DepQBFKonferenzbeitrag Inproceedings2014
18Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian SAT-Based Methods for Circuit SynthesisKonferenzbeitrag Inproceedings 2014
19Creignou, Nadia ; Egly, Uwe ; Schmidt, Johannes Complexity Classifications for Logic-Based ArgumentationArtikel Article2014
20Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingKonferenzbeitrag Inproceedings 2014