Similar Items: Consistency of circuit lower bounds with bounded theories
- On the consistency of stronger lower bounds for NEXP
- From Gödel incompleteness to the consistency of circuit lower bounds
- Lower Bounds for Existential Pebble Games and k-Consistency Tests
- Unprovability of circuit upper bounds in Cook's theory PV
- On the Natural Gradient of the Evidence Lower Bound
- A lower bound on web services composition