Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Sokolov, Dmitry Olegovich E-mail: https://www.mathnet.ru/eng/person74041 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2012 1. D. M. Itsykson, D. O. Sokolov, “The complexity of inversion of explicit Goldreich's function by DPLL algorithms”, Zap. Nauchn. Sem. POMI, 399 (2012),  88–108    ; J. Math. Sci. (N. Y.), 188:1 (2013), 47–58   3 Presentations in Math-Net.Ru 1. Резолюционные доказательства и монотонные вычисления D. O. Sokolov Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic" December 24, 2018 16:20    Organisations St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences