Ramamohan Paturi Pavel Pudlák Circuit lower bounds and linear codes Electronic Colloquium on Computational Complexity (ECCC) 2004 004 db/journals/eccc/eccc11.html#ECCC-TR04-004 http://eccc.hpi-web.de/eccc-reports/2004/TR04-004/index.html