The following pages link to Joshua Blinkhorn (Q1680257):
Displaying 15 items.
- Shortening QBF proofs with dependency schemes (Q1680258) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Davis and Putnam meet Henkin: solving DQBF with resolution (Q2118283) (← links)
- Proof complexity of QBF symmetry recomputation (Q2181920) (← links)
- Reinterpreting dependency schemes: soundness meets incompleteness in DQBF (Q2323446) (← links)
- A simple proof of QBF hardness (Q2656352) (← links)
- Strong (D)QBF dependency schemes via tautology-free resolution paths (Q2661365) (← links)
- (Q3304106) (← links)
- (Q4625702) (← links)
- Dynamic QBF Dependencies in Reduction and Expansion (Q4972172) (← links)
- (Q4993272) (← links)
- (Q5090460) (← links)
- Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution (Q5145632) (← links)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) (← links)
