TY  - RPRT
TI  - Consistency of circuit evaluation, extended resolution and total NP search problems
AU  - Jan Krajicek
PY  - 2015
DO  - 10.1017/fms.2016.13
UR  - https://arxiv.org/abs/1509.03048
ID  - 1509.03048
ER  -