TY  - JOUR
AU  - A. A. Lialina
TI  - On the complexity of unique Circuit SAT
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2018
SP  - 122
EP  - 136
VL  - 475
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2018_475_a5/
LA  - en
ID  - ZNSL_2018_475_a5
ER  -