TY  - RPRT
TI  - Consistency of circuit lower bounds with bounded theories
AU  - Jan Bydzovsky
AU  - Jan Krajicek
AU  - Igor C. Oliveira
PY  - 2020
DO  - 10.23638/lmcs-16(2:12)2020
UR  - https://arxiv.org/abs/1905.12935
ID  - 1905.12935
ER  -