TY - JOUR AU - D. M. Itsykson AU - D. O. Sokolov TI - The complexity of inversion of explicit Goldreich's function by DPLL algorithms JO - Zapiski Nauchnykh Seminarov POMI PY - 2012 SP - 88 EP - 108 VL - 399 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_2012_399_a4/ LA - en ID - ZNSL_2012_399_a4 ER -