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

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

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

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

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

  • 2016

    A Better-Than-3n Lower Bound for the Circuit Complexity of an Explicit Function

    Find, M. G., Golovnev, A., Hirsch, E. A. & Kulikov, A. S., 14 дек 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016. Institute of Electrical and Electronics Engineers Inc., стр. 89-98 10 стр. 7782921. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; том 2016-December).

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

    16 Цитирования (Scopus)
  • On the limits of gate elimination

    Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

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

    2 Цитирования (Scopus)
  • 2011

    Satisfiability certificates verifiable in subexponential time

    Dantsin, E. & Hirsch, E. A., 27 июн 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. стр. 19-32 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6695 LNCS).

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

    2 Цитирования (Scopus)
  • 2010

    On optimal heuristic randomized semidecision procedures, with application to proof complexity

    Hirsch, E. A. & Itsykson, D., 1 дек 2010, STACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science. стр. 453-464 12 стр. (Leibniz International Proceedings in Informatics, LIPIcs; том 5).

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

    8 Цитирования (Scopus)
  • Optimal acceptors and optimal proof systems

    Hirsch, E. A., 15 июл 2010, Theory and Applications of Models of Computation - 7th Annual Conference, TAMC 2010, Proceedings. стр. 28-39 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6108 LNCS).

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

    8 Цитирования (Scopus)
  • 2009

    A feebly secure trapdoor function

    Hirsch, E. A. & Nikolenko, S. I., 29 окт 2009, Computer Science - Theory and Applications - 4th International Computer Science Symposium in Russia, CSR 2009, Proceedings. стр. 129-142 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5675 LNCS).

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

    5 Цитирования (Scopus)
  • 2008

    An infinitely-often one-way function based on an average-case assumption

    Hirsch, E. A. & Itsykson, D. M., 28 июл 2008, Logic, Language, Information and Computation - 15th International Workshop, WoLLIC 2008, Proceedings. стр. 208-217 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5110 LNAI).

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

  • 2006

    Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms

    Dantsin, E., Hirsch, E. A. & Wolpert, A., 1 янв 2006, Algorithms and Complexity - 6th Italian Conference, CIAC 2006, Proceedings. Springer Nature, стр. 60-68 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3998 LNCS).

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

    11 Цитирования (Scopus)
  • 2002

    Complexity of semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 1 янв 2002, STACS 2002 - 19th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Ferreira, A. & Alt, H. (ред.). Springer Nature, стр. 419-430 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 2285).

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

    29 Цитирования (Scopus)
  • Exponential lower bound for static semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 1 дек 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. стр. 257-268 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 2380 LNCS).

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

    11 Цитирования (Scopus)
  • 2001

    Solving Boolean satisfiability using local search guided by unit clause elimination

    Hirsch, E. A. & Kojevnikov, A., 1 янв 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (ред.). Springer Nature, стр. 605-609 5 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 2239).

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

    8 Цитирования (Scopus)
  • 2000

    A new algorithm for MAX-2-SAT

    Hirsch, E. A., 1 янв 2000, STACS 2000 - 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2000, Proceedings. Reichel, H. & Tison, S. (ред.). Springer Nature, стр. 65-73 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1770).

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

    28 Цитирования (Scopus)
  • Deterministic algorithms for k-SAT based on covering codes and local search

    Dantsin, E., Goerdt, A., Hirsch, E. A. & Schöning, U., 1 янв 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Welzl, E. & Rolim, J. D. P. (ред.). Springer Nature, стр. 236-247 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1853).

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

    23 Цитирования (Scopus)
  • 1998

    Local search algorithms for SAT: Worst-case analysis

    Hirsch, E. A., 1 янв 1998, Algorithm Theory — SWAT 1998 - 6th Scandinavian Workshop on Algorithm Theory, Proceedings. Arnborg, S. & Ivansson, L. (ред.). Springer Nature, стр. 246-254 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 1432).

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

    2 Цитирования (Scopus)