Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Соколов Дмитрий Олегович E-mail: https://www.mathnet.ru/rus/person74041 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 2012 1. D. M. Itsykson, D. O. Sokolov, “The complexity of inversion of explicit Goldreich's function by DPLL algorithms”, Зап. научн. сем. ПОМИ, 399 (2012),  88–108      ; J. Math. Sci. (N. Y.), 188:1 (2013), 47–58   3 Доклады и лекции в базе данных Math-Net.Ru 1. Резолюционные доказательства и монотонные вычисления Д. О. Соколов Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика» 24 декабря 2018 г. 16:20    Организации Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук