Pages that link to "Item:Q2816413"
From MaRDI portal
The following pages link to A tradeoff between length and width in resolution (Q2816413):
Displaying 14 items.
- A simplified way of proving trade-off results for resolution (Q989569) (← links)
- Unrestricted resolution versus N-resolution (Q1185013) (← links)
- Resolution-limited measure and dimension (Q1200214) (← links)
- Optimality of size-width tradeoffs for resolution (Q1405735) (← links)
- A note about \(k\)-DNF resolution (Q1641156) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Random resolution refutations (Q2311546) (← links)
- Width and size of regular resolution proofs (Q2888509) (← links)
- From small space to small width in resolution (Q2965493) (← links)
- Randomized feasible interpolation and monotone circuits with a local oracle (Q4562441) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q5091769) (← links)
- (Q5092398) (← links)
- Supercritical Space-Width Trade-offs for Resolution (Q5215515) (← links)
- Narrow Proofs May Be Maximally Long (Q5277920) (← links)