Eric Allender Chipping Away at P vs NP: How Far Are We from Proving Circuit Size Lower Bounds? 3 2008 CATS http://crpit.com/abstracts/CRPITV77Allender.html conf/cats/2008 db/conf/cats/cats2008.html#Allender08