%0 Journal Article %A A. S. Kulikov %T An upper bound $O(2^{0.16254n})$ for Exact 3-Satisfiability: a simpler proof %J Zapiski Nauchnykh Seminarov POMI %D 2002 %P 118-128 %V 293 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_2002_293_a5/ %G ru %F ZNSL_2002_293_a5