TY  - RPRT
TI  - Circuit complexity, proof complexity, and polynomial identity testing
AU  - Joshua A. Grochow
AU  - Toniann Pitassi
PY  - 2014
UR  - https://arxiv.org/abs/1404.3820
ID  - 1404.3820
ER  -