Pages that link to "Item:Q3192062"
From MaRDI portal
The following pages link to Unified Characterisations of Resolution Hardness Measures (Q3192062):
Displaying 5 items.
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- Total space in resolution (Q2829448) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)