Olaf Beyersdorff

Olaf Beyersdorff

Fraunhofer-Institut für Angewandte Optik und Feinmechanik - / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1758406
Fraunhofer Institute for Applied Optics and Precision Engineering
person_outline Olaf Beyersdorff's MOST POPULAR ARTICLES
1-) Proof complexity of resolution-based QBF calculiO Beyersdorff, L Chew, M JanotaLIPI Symposium on Theoretical Aspects of Computer Science (STACS\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'15) 30, 76-89, 2015792015
2-) On unification of QBF resolution-based calculiO Beyersdorff, L Chew, M JanotaInternational Symposium on Mathematical Foundations of Computer Science, 81-93, 2014612014
3-) Lower bounds: From circuits to QBF proof systemsO Beyersdorff, I Bonacina, C LeroyProceedings of the 2016 ACM Conference on Innovations in Theoretical …, 2016472016
4-) Quantified boolean formulasO Beyersdorff, M Janota, F Lonsing, M SeidlHandbook of Satisfiability, 1177-1221, 2021492021
5-) Parameterized complexity of DPLL search proceduresO Beyersdorff, N Galesi, M LauriaACM Transactions on Computational Logic (TOCL) 14 (3), 1-21, 2013462013