Pages that link to "Item:Q2799200"
From MaRDI portal
The following pages link to A Game Characterisation of Tree-like Q-resolution Size (Q2799200):
Displaying 9 items.
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Characterising tree-like Frege proofs for QBF (Q2272983) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- A characterization of tree-like resolution size (Q2444907) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)
- Size, cost and capacity: a semantic technique for hard random QBFs (Q4993272) (← links)