Pages that link to "Item:Q5495852"
From MaRDI portal
The following pages link to Some trade-off results for polynomial calculus (Q5495852):
Displayed 13 items.
- On space and depth in resolution (Q1616620) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q2040600) (← links)
- Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space (Q2817796) (← links)
- Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers (Q2818010) (← links)
- Computing (and Life) Is All about Tradeoffs (Q2848971) (← links)
- Space Complexity in Polynomial Calculus (Q2944568) (← links)
- Communication Lower Bounds via Critical Block Sensitivity (Q4554052) (← links)
- Cumulative Space in Black-White Pebbling and Resolution (Q4638091) (← links)
- Nullstellensatz size-degree trade-offs from reversible pebbling (Q5091769) (← links)
- Supercritical Space-Width Trade-offs for Resolution (Q5215515) (← links)
- From Small Space to Small Width in Resolution (Q5277893) (← links)
- Narrow Proofs May Be Maximally Long (Q5277920) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)