The following pages link to (Q4601841):
Displaying 10 items.
- On the complexity of cutting-plane proofs (Q580175) (← links)
- On the complexity of cutting-plane proofs using split cuts (Q969513) (← links)
- On semantic cutting planes with very small coefficients (Q1751424) (← links)
- Cutting-plane proofs in polynomial space (Q1813835) (← links)
- Cutting planes, connectivity, and threshold logic (Q1908818) (← 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)
- Stabbing planes (Q4993273) (← links)
- Depth lower bounds in Stabbing Planes for combinatorial principles (Q6137876) (← links)