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

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

Статистика просмотров:
Эта страница:581
Страницы публикаций:736
Полные тексты:238
Списки литературы:92
E-mail:

http://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
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
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

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

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