TY  - JOUR
AU  - JAN KRAJÍČEK
TI  - CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS
JO  - Forum of Mathematics, Sigma
PY  - 2016
VL  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2016.13/
DO  - 10.1017/fms.2016.13
LA  - en
ID  - 10_1017_fms_2016_13
ER  -