TY  - RPRT
TI  - A reduction of proof complexity to computational complexity for $AC^0[p]$ Frege systems
AU  - Jan Krajicek
PY  - 2014
DO  - 10.1090/s0002-9939-2015-12610-x#sthash.phkjnbmn.dpuf
UR  - https://arxiv.org/abs/1311.2501
ID  - 1311.2501
ER  -