On the Consistency of Circuit Lower Bounds for Non-deterministic Time.

Albert Atserias, Sam Buss, Moritz Mller

Browse the full STOC paper archive.