Joshua Blinkhorn

From MaRDI portal
Person:1680257

Available identifiers

zbMath Open blinkhorn.joshuaMaRDI QIDQ1680257

List of research outcomes





PublicationDate of PublicationType
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution2023-04-05Paper
https://portal.mardi4nfdi.de/entity/Q50904602022-07-18Paper
Davis and Putnam meet Henkin: solving DQBF with resolution2022-03-22Paper
Size, cost and capacity: a semantic technique for hard random QBFs2021-06-15Paper
Building strategies into QBF proofs2021-06-09Paper
Strong (D)QBF dependency schemes via tautology-free resolution paths2021-04-07Paper
A simple proof of QBF hardness2021-03-11Paper
Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution2021-01-21Paper
https://portal.mardi4nfdi.de/entity/Q33041062020-08-05Paper
Proof complexity of QBF symmetry recomputation2020-05-20Paper
Lower bound techniques for QBF expansion2020-04-15Paper
Dynamic QBF dependencies in reduction and expansion2019-11-22Paper
Reinterpreting dependency schemes: soundness meets incompleteness in DQBF2019-09-02Paper
https://portal.mardi4nfdi.de/entity/Q46257022019-02-25Paper
Shortening QBF proofs with dependency schemes2017-11-15Paper

Research outcomes over time

This page was built for person: Joshua Blinkhorn

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1680257&oldid=6429222"
Powered by MediaWiki