Name Card

Full name Familienname, Vorname
Beyersdorff, Olaf
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beyersdorff-2023-ACM Transactions on Computational Logic-am.pdf.jpgBeyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš Hardness Characterisations and Size-width Lower Bounds for QBF ResolutionArticle Artikel 27-Jan-2023
2Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav Hard QBFs for merge resolutionArticle Artikel 2023
3Beyersdorff, Olaf ; Blinkhorn, Joshua ; Chew, Leroy ; Schmidt, Renate ; Suda, Martin Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFArtikel Article 2018
4Beyersdorff, Olaf ; Chew, Leroy ; Schmidt, Renate A. ; Suda, Martin Lifting QBF Resolution Calculi to DQBFKonferenzbeitrag Inproceedings 2016

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Claudia SAT and Interactions (Dagstuhl Seminar 20061)Konferenzband Proceedings2020
2Suda, Martin ; Gleiss, Bernhard Local Soundness for QBF CalculiKonferenzbeitrag Inproceedings 2018
3Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Polynomial-Time Validation of QCDCL CertificatesKonferenzbeitrag Inproceedings 2018