Gudmund Skovbjerg Frandsen Peter Bro Miltersen Reviewing Bounds on the Circuit Size of the Hardest Functions Electronic Colloquium on Computational Complexity (ECCC) 2005 032 db/journals/eccc/eccc12.html#TR05-032 http://eccc.hpi-web.de/eccc-reports/2005/TR05-032/index.html