Polynomial Identity Testing and the Ideal Proof System: PIT Is in NP If and Only If IPS Can Be p-Simulated by a Cook-Reckhow Proof System.

Joshua A. Grochow

Browse the full STOC paper archive.