%0 Journal Article %A A. A. Lialina %T On the complexity of unique Circuit SAT %J Zapiski Nauchnykh Seminarov POMI %D 2018 %P 122-136 %V 475 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_2018_475_a5/ %G en %F ZNSL_2018_475_a5