Pages that link to "Item:Q4993272"
From MaRDI portal
The following pages link to Size, cost and capacity: a semantic technique for hard random QBFs (Q4993272):
Displaying 7 items.
- Short proofs for some symmetric quantified Boolean formulas (Q1799597) (← links)
- Hardness and optimality in QBF proof systems modulo NP (Q2118289) (← links)
- (Q4625702) (← links)
- (Q5090460) (← links)
- Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution (Q5145632) (← links)
- Term Rewriting and Applications (Q5703845) (← links)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) (← links)