Similar Items: Depth lower bounds in Stabbing Planes for combinatorial principles
- Consistency of circuit lower bounds with bounded theories
- On the consistency of stronger lower bounds for NEXP
- On the Natural Gradient of the Evidence Lower Bound
- A lower bound on web services composition
- Model Checking Lower Bounds for Simple Graphs
- Lower Bound on Weights of Large Degree Threshold Functions