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-18 of 18 (Search time: 0.003 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
5Egly, Uwe Translations from QBFs to First-order LogicPräsentation Presentation2016
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
9Lonsing, Florian Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationPräsentation Presentation2015
10Lonsing, Florian Search-Based QBF SolvingPräsentation Presentation2014
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 Incremental QBF SolvingPräsentation Presentation2014
17Egly, Uwe On sequent systems and resolution for quantified boolean formulasPräsentation Presentation2012
18Egly, Uwe A new learning scheme for QDPLL solversPräsentation Presentation2012