Name Card

Full name Familienname, Vorname
Blinkhorn, Joshua
 
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
3Blinkhorn, Joshua ; Peitl, Tomáš ; Slivovsky, Friedrich Davis and Putnam Meet Henkin: Solving DQBF with ResolutionKonferenzbeitrag Inproceedings 2021
4Beyersdorff, Olaf ; Blinkhorn, Joshua ; Chew, Leroy ; Schmidt, Renate ; Suda, Martin Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFArtikel Article 2018