Olaf Beyersdorff
Scholar

Olaf Beyersdorff

Google Scholar ID: Zf7cjPkAAAAJ
Professor of Theoretical Computer Science, Friedrich Schiller University Jena, Germany
Proof ComplexityComputational ComplexityComputational LogicSatisfiabilityQBF
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
712
 
H-index
14
 
i10-index
22
 
Publications
20
 
Co-authors
29
list available
Contact
No contact links provided.
Publications
1 items
Semi-Algebraic Proof Systems for QBF
International Conference on Theory and Applications of Satisfiability Testing · 2025
Cited
0
Resume (English only)
Co-authors
29 total
Meena Mahajan
Meena Mahajan
The Institute of Mathematical Sciences, (a CI of Homi Bhabha National Institute), Chennai, India
Heribert Vollmer
Heribert Vollmer
Professor für Theoretische Informatik, Leibniz Universität Hannover
Nicola Galesi
Nicola Galesi
Sapienza University Rome
Mikoláš Janota
Mikoláš Janota
CTU Prague
Massimo Lauria
Massimo Lauria
Sapienza - Università di Roma
Arne Meier
Arne Meier
Professor, Institute of Theoretical Computer Science, Leibniz Universität Hannover
Co-author 7
Co-author 7
Co-author 8
Co-author 8