Pages that link to "Item:Q2818030"
From MaRDI portal
The following pages link to On Q-Resolution and CDCL QBF Solving (Q2818030):
Displaying 9 items.
- Relating size and width in variants of Q-resolution (Q1653019) (← links)
- QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
- Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- A simple proof of QBF hardness (Q2656352) (← 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)
- Lower bounds for QCDCL via formula gauge (Q6053848) (← links)
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← links)