No. Title Author Year
1 Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution Beyersdorff, Olaf et al. 2021
2 Hard QBFs for Merge Resolution Beyersdorff, Olaf et al. 2020
3 SAT and Interactions (Dagstuhl Seminar 20061) Beyersdorff, Olaf et al. 2020
4 Building Strategies into QBF Proofs Beyersdorff, Olaf et al. 2019
5 Genuine Lower Bounds for QBF Expansion Beyersdorff, Olaf et al. 2018
6 Reasons for Hardness in QBF Proof Systems Beyersdorff, Olaf et al. 2018
7 Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs Beyersdorff, Olaf et al. 2018
8 SAT and Interactions (Dagstuhl Seminar 16381) Beyersdorff, Olaf et al. 2017
9 Are Short Proofs Narrow? QBF Resolution is not Simple Beyersdorff, Olaf et al. 2016
10 Understanding Cutting Planes for QBFs Beyersdorff, Olaf et al. 2016
11 Optimal algorithms and proofs (Dagstuhl Seminar 14421) Beyersdorff, Olaf et al. 2015
12 Proof Complexity of Resolution-based QBF Calculi Beyersdorff, Olaf et al. 2015
13 Hardness of Parameterized Resolution Beyersdorff, Olaf et al. 2010
14 Proof Complexity of Propositional Default Logic Beyersdorff, Olaf et al. 2010
15 Edges as Nodes - a New Approach to Timetable Information Beyersdorff, Olaf et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 15


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI