Ryan Williams 0001 Improving exhaustive search implies superpolynomial lower bounds. 231-240 2010 STOC https://doi.org/10.1145/1806689.1806723 https://www.wikidata.org/entity/Q57568006 conf/stoc/2010 db/conf/stoc/stoc2010.html#Williams10