Follow
Olaf Beyersdorff
Olaf Beyersdorff
Professor of Theoretical Computer Science, Friedrich Schiller University Jena, Germany
Verified email at uni-jena.de - Homepage
Title
Cited by
Cited by
Year
Proof complexity of resolution-based QBF calculi
O Beyersdorff, L Chew, M Janota
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
832015
On unification of QBF resolution-based calculi
O Beyersdorff, L Chew, M Janota
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
652014
Lower bounds: From circuits to QBF proof systems
O Beyersdorff, I Bonacina, C Leroy
Proceedings of the 2016 ACM Conference on Innovations in Theoretical …, 2016
492016
Parameterized complexity of DPLL search procedures
O Beyersdorff, N Galesi, M Lauria
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-21, 2013
452013
Size, cost, and capacity: A semantic technique for hard random QBFs
O Beyersdorff, J Blinkhorn, L Hinde
Logical Methods in Computer Science 15, 2019
422019
Feasible interpolation for QBF resolution calculi
O Beyersdorff, L Chew, M Mahajan, A Shukla
Logical Methods in Computer Science 13, 2017
402017
A characterization of tree-like resolution size
O Beyersdorff, N Galesi, M Lauria
Information Processing Letters 113 (18), 666-671, 2013
362013
Quantified boolean formulas
O Beyersdorff, M Janota, F Lonsing, M Seidl
Handbook of Satisfiability, 1177-1221, 2021
352021
Are Short Proofs Narrow? QBF Resolution Is Not So Simple
O Beyersdorff, L Chew, M Mahajan, A Shukla
ACM Transactions on Computational Logic (TOCL) 19 (1), 1-26, 2017
342017
A game characterisation of tree-like Q-resolution size
O Beyersdorff, L Chew, K Sreenivasaiah
Journal of Computer and System Sciences 104, 82-101, 2019
332019
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer games
O Beyersdorff, N Galesi, M Lauria
Information Processing Letters 110 (23), 1074-1077, 2010
332010
The complexity of propositional implication
O Beyersdorff, A Meier, M Thomas, H Vollmer
Information Processing Letters 109 (18), 1071-1077, 2009
332009
The complexity of reasoning for fragments of default logic
O Beyersdorff, A Meier, M Thomas, H Vollmer
International Conference on Theory and Applications of Satisfiability …, 2009
322009
Classes of representable disjoint NP-pairs
O Beyersdorff
Theoretical Computer Science 377 (1), 93-109, 2007
31*2007
New resolution-based QBF calculi and their proof complexity
O Beyersdorff, L Chew, M Janota
ACM Transactions on Computation Theory (TOCT) 11 (4), 1-42, 2019
292019
Parameterized bounded-depth Frege is not optimal
O Beyersdorff, N Galesi, M Lauria, AA Razborov
ACM Transactions on Computation Theory (TOCT) 4 (3), 7, 2012
292012
Reasons for hardness in QBF proof systems
O Beyersdorff, L Hinde, J Pich
ACM Transactions on Computation Theory (TOCT) 12 (2), 1-27, 2020
282020
Understanding Gentzen and Frege systems for QBF
O Beyersdorff, J Pich
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
272016
On the correspondence between arithmetic theories and propositional proof systems–a survey
O Beyersdorff
Mathematical Logic Quarterly 55 (2), 116-137, 2009
25*2009
Understanding cutting planes for QBFs
O Beyersdorff, L Chew, M Mahajan, A Shukla
Information and Computation 262, 141-161, 2018
242018
The system can't perform the operation now. Try again later.
Articles 1–20