A circuit-size lower bound | IEEE Conference Publication | IEEE Xplore