Circuit Complexity, Proof Complexity, and Polynomial Identity Testing | IEEE Conference Publication | IEEE Xplore