Natural proofs versus derandomization (2013)

by Ryan Williams
Venue:In STOC