TY  - RPRT
TI  - Unprovability of circuit upper bounds in Cook's theory PV
AU  - Jan Krajicek
AU  - Igor C. Oliveira
PY  - 2017
DO  - 10.23638/lmcs-13(1:4)2017
UR  - https://arxiv.org/abs/1605.00263
ID  - 1605.00263
ER  -