• Источник данных о цитировании публикаций, внесённых в Pure: Scopus
  • Рассчитывается на основе количества публикаций, внесённых в Pure, и цитирований из Scopus
20042020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.

«Отпечаток»

Узнайте самые подробные результаты анализа активности Дмитрий Михайлович Ицыксон. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
  • 6 похожих профилей - всего

Сотрудничество

Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
  • Resolution over linear equations modulo two

    Itsykson, D. & Sokolov, D., янв 2020, В : Annals of Pure and Applied Logic. 171, 1, 102722.

    Результат исследований: Научные публикации в периодических изданияхстатья

    2 Цитирования (Scopus)
  • Bounded-depth frege complexity of tseitin formulas for all graphs

    Galesi, N., Itsykson, D., Riazanov, A. & Sofronova, A., авг 2019, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Katoen, J-P., Heggernes, P. & Rossmanith, P. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; том 138).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • On tseitin formulas, read-once branching programs and treewidth

    Glinskih, L. & Itsykson, D., 1 янв 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer Nature, стр. 143-155 13 стр. (Lecture Notes in Computer Science; том 11532).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • Reordering rule makes OBDD proof systems stronger

    Buss, S., Itsykson, D., Knop, A. & Sokolov, D., 1 июн 2018, 33rd Computational Complexity Conference, CCC 2018. Servedio, R. A. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 161-1624 1464 стр. (Leibniz International Proceedings in Informatics, LIPIcs; том 102).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    2 Цитирования (Scopus)
  • Hard satisfiable formulas for splittings by linear combinations

    Itsykson, D. & Knop, A., 1 янв 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. Gaspers, S. & Walsh, T. (ред.). Springer Nature, стр. 53-61 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10491 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

    2 Цитирования (Scopus)
Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.