Pages that link to "Item:Q2946664"
From MaRDI portal
The following pages link to On the Relative Strength of Pebbling and Resolution (Q2946664):
Displaying 7 items.
- Static-memory-hard functions, and modeling the cost of space vs. time (Q1629397) (← links)
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Pebble games, proof complexity, and time-space trade-offs (Q2848360) (← links)
- Cumulative Space in Black-White Pebbling and Resolution (Q4638091) (← links)
- An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261) (← links)
- Theory and Applications of Satisfiability Testing (Q5713749) (← links)