Circuit Complexity, Proof Complexity, and Polynomial Identity Testing. - Grochow, Joshua A.; Pitassi, Toniann (2014)