Improving exhaustive search implies superpolynomial lower bounds.

Ryan Williams

Browse the full STOC paper archive.