Pages that link to "Item:Q2382288"
From MaRDI portal
The following pages link to Width versus size in resolution proofs (Q2382288):
Displaying 7 items.
- Optimality of size-width tradeoffs for resolution (Q1405735) (← links)
- Resolution proofs of matching principles (Q1861903) (← links)
- A tradeoff between length and width in resolution (Q2816413) (← links)
- Short proofs are narrow -- resolution made simple (Q2819584) (← links)
- Width and size of regular resolution proofs (Q2888509) (← links)
- Hard examples for resolution (Q3780485) (← links)
- (Q5092479) (← links)