Concepedia

Olaf Beyersdorff

OB

18

Publications

492

Citations

14

H-Index

2007

Active since

Affiliations

University of Leeds(Current)

Leibniz University Hannover

Humboldt-Universität zu Berlin

Sapienza University of Rome

Institute of Mathematical Sciences

Olaf Beyersdorff is an author at University of Leeds specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsComputational ComplexityProof ComplexityFormal VerificationCircuit ComplexityVerificationDiscrete Mathematics

Publications per year

2007–2020

18

Publications

18

Lower Bounds

Olaf Beyersdorff, Ilario Bonacina, Leroy Chew · 2016 · 54 citations

Circuit Complexity, Engineering, Boolean Circuits +11

Proof Complexity of Resolution-based QBF Calculi

Olaf Beyersdorff, Leroy Chew, Mikoláš Janota · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 51 citations · Full text

Understanding Gentzen and Frege Systems for QBF

Olaf Beyersdorff, Ján Pich · 2016 · 41 citations

Circuit Complexity, Computational Logic, Frege Systems +13

Nondeterministic functions and the existence of optimal proof systems

Olaf Beyersdorff, Johannes Köbler · Theoretical Computer Science · 2009 · 40 citations

Engineering, Automated Reasoning, Proof Complexity +6

Proof systems that take advice

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller · Information and Computation · 2010 · 39 citations

Engineering, Automated Reasoning, Verification +7

Rows per page

1–5 of 18