Гирш Эдуард Алексеевич

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

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

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

Поиск результатов

  • 2005

    Simulating Cutting Plane proofs with restricted degree of falsity by resolution

    Hirsch, E. A. & Nikolenko, S. I., 17 окт 2005, В: Lecture Notes in Computer Science. 3569, стр. 135-142 8 стр.

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

    4 Цитирования (Scopus)
  • 2003

    Algebraic proof systems over formulas

    Grigoriev, D. & Hirsch, E. A., 28 июн 2003, В: Theoretical Computer Science. 303, 1, стр. 83-102 20 стр.

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

    Открытый доступ
    19 Цитирования (Scopus)
  • Worst-case study of local search for MAX-k-SAT

    Hirsch, E. A., 15 авг 2003, В: Discrete Applied Mathematics. 130, 2, стр. 173-184 12 стр.

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

    Открытый доступ
    16 Цитирования (Scopus)
  • Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT

    Gramm, J., Hirsch, E. A., Niedermeier, R. & Rossmanith, P., 15 авг 2003, В: Discrete Applied Mathematics. 130, 2, стр. 139-155 17 стр.

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

    Открытый доступ
    55 Цитирования (Scopus)