Joshua Blinkhorn

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 31

Top Topics

Quantified Boolean Formulae

Consequence Finding

Top Venues

Electron. Colloquium Comput. Complex.

J. Autom. Reason.

Publications

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution. ACM Trans. Comput. Log. 24 (2) (2023)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan
Building Strategies into QBF Proofs. J. Autom. Reason. 65 (1) (2021)
Olaf Beyersdorff, Joshua Blinkhorn
A simple proof of QBF hardness. Inf. Process. Lett. 168 (2021)
Joshua Blinkhorn, Tomás Peitl, Friedrich Slivovsky
Davis and Putnam Meet Henkin: Solving DQBF with Resolution. SAT (2021)
Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl
Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths. Electron. Colloquium Comput. Complex. 28 (2021)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
Hard QBFs for Merge Resolution. CoRR (2020)
Olaf Beyersdorff, Joshua Blinkhorn
Dynamic QBF Dependencies in Reduction and Expansion. ACM Trans. Comput. Log. 21 (2) (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan
Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution. LICS (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl
Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths. Electron. Colloquium Comput. Complex. 27 (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan
Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution. Electron. Colloquium Comput. Complex. 27 (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
Hard QBFs for Merge Resolution. Electron. Colloquium Comput. Complex. 27 (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl
Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths. SAT (2020)
Olaf Beyersdorff, Joshua Blinkhorn
Lower Bound Techniques for QBF Expansion. Theory Comput. Syst. 64 (3) (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
Hard QBFs for Merge Resolution. FSTTCS (2020)
Joshua Blinkhorn
Simulating DQBF Preprocessing Techniques with Resolution Asymmetric Tautologies. Electron. Colloquium Comput. Complex. 27 (2020)
Joshua Blinkhorn, Olaf Beyersdorff
Proof Complexity of QBF Symmetry Recomputation. SAT (2019)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan
Building Strategies into QBF Proofs. STACS (2019)
Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. J. Autom. Reason. 63 (3) (2019)
Olaf Beyersdorff, Joshua Blinkhorn
Proof Complexity of Symmetry Learning in QBF. Electron. Colloquium Comput. Complex. 26 (2019)
Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs. Log. Methods Comput. Sci. 15 (1) (2019)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan
Building Strategies into QBF Proofs. Electron. Colloquium Comput. Complex. 25 (2018)
Joshua Blinkhorn, Olaf Beyersdorff
Dynamic Dependency Awareness for QBF. IJCAI (2018)
Olaf Beyersdorff, Joshua Blinkhorn
Genuine Lower Bounds for QBF Expansion. STACS (2018)
Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde
Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs. ITCS (2018)
Joshua Blinkhorn, Olaf Beyersdorff
Shortening QBF Proofs with Dependency Schemes. SAT (2017)
Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs. Electron. Colloquium Comput. Complex. 24 (2017)
Olaf Beyersdorff, Joshua Blinkhorn
Formulas with Large Weight: a New Technique for Genuine QBF Lower Bounds. Electron. Colloquium Comput. Complex. 24 (2017)
Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs. CoRR (2017)
Olaf Beyersdorff, Joshua Blinkhorn
Dependency Schemes in QBF Calculi: Semantics and Soundness. Electron. Colloquium Comput. Complex. 23 (2016)
Olaf Beyersdorff, Joshua Blinkhorn
Dependency Schemes in QBF Calculi: Semantics and Soundness. CP (2016)
Joshua Blinkhorn, Olaf Beyersdorff
Dependency Schemes in QBF Calculi: Semantics and Soundness. QBF@SAT (2016)