Joshua Blinkhorn

Available identifiers

zbMath Open blinkhorn.joshuaMaRDI QIDQ1680257

List of research outcomes

Publication	Date of Publication	Type
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution	2023-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5090460	2022-07-18	Paper
Davis and Putnam meet Henkin: solving DQBF with resolution	2022-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4993272	2021-06-15	Paper
Building strategies into QBF proofs	2021-06-09	Paper
Strong (D)QBF dependency schemes via tautology-free resolution paths	2021-04-07	Paper
A simple proof of QBF hardness	2021-03-11	Paper
Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3304106	2020-08-05	Paper
Proof complexity of QBF symmetry recomputation	2020-05-20	Paper
Lower bound techniques for QBF expansion	2020-04-15	Paper
Dynamic QBF Dependencies in Reduction and Expansion	2019-11-22	Paper
Reinterpreting dependency schemes: soundness meets incompleteness in DQBF	2019-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4625702	2019-02-25	Paper
Shortening QBF proofs with dependency schemes	2017-11-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joshua Blinkhorn