Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Ицыксон Дмитрий Михайлович

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4
Лекций и докладов: 4

Статистика просмотров:
Эта страница:749
Страницы публикаций:966
Полные тексты:296
Списки литературы:138
E-mail:

https://www.mathnet.ru/rus/person33728
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/767280
https://elibrary.ru/author_items.asp?authorid=152575

Публикации в базе данных 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  mathnet  mathscinet  scopus; J. Math. Sci. (N. Y.), 188:1 (2013), 47–58  scopus 3
2. E. A. Hirsch, D. M. Itsykson, V. O. Nikolaenko, A. V. Smal, “Optimal heuristic algorithms for the image of an injective function”, Зап. научн. сем. ПОМИ, 399 (2012),  15–31  mathnet  mathscinet  scopus; J. Math. Sci. (N. Y.), 188:1 (2013), 7–16  scopus
2009
3. Э. А. Гирш, Д. М. Ицыксон, “Бесконечно часто односторонняя функция, основанная на предположении о сложности в среднем”, Алгебра и анализ, 21:3 (2009),  130–144  mathnet  mathscinet  zmath; E. A. Hirsch, D. M. Itsykson, “Infinitely frequently one-sided function based on an assumption on complexity in the mean”, St. Petersburg Math. J., 21:3 (2010), 459–468  isi  scopus 1
2006
4. Д. М. Ицыксон, А. А. Кожевников, “Нижние оценки на длину вывода цейтинских формул в статической системе доказательств Ловаса–Схрайвера”, Зап. научн. сем. ПОМИ, 340 (2006),  10–32  mathnet  mathscinet  zmath; D. M. Itsykson, A. A. Kojevnikov, “Lower bounds of static Lovász–Schrijver calculus proofs for Tseitin tautologies”, J. Math. Sci. (N. Y.), 145:3 (2007), 4942–4952  scopus 6

Доклады и лекции в базе данных Math-Net.Ru
1. Нижние оценки длин доказательств с помощью коммуникационных аргументов
Д. М. Ицыксон
Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
22 ноября 2021 г. 13:00   
2. Цейтинские формулы и однопроходные ветвящиеся программы
Д. М. Ицыксон
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
24 декабря 2018 г. 16:55   
3. Сложность пропозициональных доказательств: краткая история, новые результаты и открытые вопросы
Д. М. Ицыксон
День математика и механика. VIII Интернет-видеоконференция — Слово молодым
17 сентября 2018 г.
4. Структурная сложность вероятностных вычислений с ограниченной ошибкой
Д. М. Ицыксон
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
18 декабря 2009 г. 17:00   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024