Pages that link to "Item:Q3612456"
From MaRDI portal
The following pages link to Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities (Q3612456):
Displaying 5 items.
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Randomized feasible interpolation and monotone circuits with a local oracle (Q4562441) (← links)
- (Q4993273) (← links)
- Depth lower bounds in Stabbing Planes for combinatorial principles (Q6137876) (← links)
