Pages that link to "Item:Q989569"
From MaRDI portal
The following pages link to A simplified way of proving trade-off results for resolution (Q989569):
Displaying 8 items.
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Strong extension-free proof systems (Q2303251) (← links)
- (Q2816413) (← links)
- Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space (Q2817796) (← links)
- Space Complexity in Polynomial Calculus (Q2944568) (← links)
- An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261) (← links)
- From Small Space to Small Width in Resolution (Q5277893) (← links)
