• 624 всего цитирований публикаций, внесённых в Pure
  • 16 h-индекс по публикациям в Pure
19972018

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

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

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

  • 624 всего цитирований публикаций, внесённых в Pure
  • 16 h-индекс по публикациям в Pure
  • 20 статья
  • 14 статья в сборнике материалов конференции
  • 4 статья в журнале по материалам конференции
  • 1 глава/раздел

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. IEEE Computer Society, стр. 89-98 10 стр. 7782921. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; том 2016-December).

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

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

A complete public-key cryptosystem

Grigoriev, D., Hirsch, E. A. & Pervyshev, K., 1 апр 2009, В : Groups, Complexity, Cryptology. 1, 1, стр. 1-12 12 стр.

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

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

A deterministic (2 - 2/(k + 1))n algorithm for k-SAT based on local search

Dantsin, E., Goerdt, A., Hirsch, E. A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P. & Schöning, U., 23 окт 2002, В : Theoretical Computer Science. 289, 1, стр. 69-83 15 стр.

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

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

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)

Algebraic proof systems over formulas

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

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

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

Algorithms for SAT based on search in hamming balls

Dantsin, E., Hirsch, E. A. & Wolpert, A., 1 дек 2004, В : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2996, стр. 141-151 11 стр.

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

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

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).

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

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

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).

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

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

Hirsch, E. A. & Itsykson, D. M., 1 дек 2010, В : St. Petersburg Mathematical Journal. 21, 3, стр. 459-468 10 стр.

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

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

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).

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

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

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).

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

24 Цитирования (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).

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

22 Цитирования (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).

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

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

Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas

Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 1 окт 2005, В : Journal of Automated Reasoning. 35, 1-3, стр. 51-72 22 стр.

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

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

Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas

Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 1 дек 2004, В : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3142, стр. 84-96 13 стр.

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

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

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)

MAX SAT approximation beyond the limits of polynomial-time approximation

Dantsin, E., Gavrilovich, M., Hirsch, E. A. & Konev, B., 27 дек 2001, В : Annals of Pure and Applied Logic. 113, 1-3, стр. 81-94 14 стр.

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

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

New worst-case upper bounds for SAT

Hirsch, E. A., 1 янв 2000, В : Journal of Automated Reasoning. 24, 4, стр. 397-420 24 стр.

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

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

On an optimal randomized acceptor for graph nonisomorphism

Hirsch, E. A. & Itsykson, D., 28 фев 2012, В : Information Processing Letters. 112, 5, стр. 166-171 6 стр.

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

On construction of a symbolic realization of hyperbolic automorphisms of the torus

Hirsch, E. A., 1 янв 1997, В : Journal of Mathematical Sciences . 87, 6, стр. 4065-4066 2 стр.

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

On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography

Hirsch, E. A., Itsykson, D., Monakhov, I. & Smal, A., 1 авг 2012, В : Theory of Computing Systems. 51, 2, стр. 179-195 17 стр.

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

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

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)

On the limits of gate elimination

Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 сен 2018, В : Journal of Computer and System Sciences. 96, стр. 107-119 13 стр.

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

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)

On the probabilistic closure of the loose unambiguous hierarchy

Hirsch, E. A. & Sokolov, D., 1 сен 2015, В : Information Processing Letters. 115, 9, стр. 725-730 6 стр.

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

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).

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

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

Optimal heuristic algorithms for the image of an injective function

Hirsch, E. A., Itsykson, D. M., Nikolaenko, V. O. & Smal, A. V., 1 янв 2013, В : Journal of Mathematical Sciences (United States). 188, 1, стр. 7-16 10 стр.

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

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

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)

SAT local search algorithms: worst-case study

Hirsch, E. A., 1 фев 2000, В : Journal of Automated Reasoning. 24, 1-2, стр. 127-143 17 стр.

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

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

Separating signs in the propositional satisfiability problem

Hirsch, E. A., 1 янв 2000, В : Journal of Mathematical Sciences . 98, 4, стр. 442-463 22 стр.

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

Several notes on the power of Gomory-Chvátal cuts

Hirsch, E. A. & Kojevnikov, A., 1 сен 2006, В : Annals of Pure and Applied Logic. 141, 3, стр. 429-436 8 стр.

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

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

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)

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).

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

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

The SAT2002 competition

Simon, L., Le Berre, D. & Hirsch, E. A., янв 2005, В : Annals of Mathematics and Artificial Intelligence. 43, 1-4, стр. 307-342 36 стр.

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

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

Time hierarchies for cryptographic function inversion with advice

Grigoriev, D. Y., Hirsch, E. A. & Pervyshev, K. V., 1 мая 2009, В : Journal of Mathematical Sciences . 158, 5, стр. 633-644 12 стр.

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

Two new upper bounds for SAT

Hirsch, E. A., 1 дек 1998, стр. 521-530. 10 стр.

Результат исследований: Материалы конференцийматериалы

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

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination

Hirsch, E. A. & Kojevnikov, A., янв 2005, В : Annals of Mathematics and Artificial Intelligence. 43, 1-4, стр. 91-111 21 стр.

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

44 Цитирования (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

Dantsin, E. & Hirsch, E. A., 1 янв 2009, Handbook of Satisfiability. 1 ред. IOS Press, стр. 403-424 22 стр. (Frontiers in Artificial Intelligence and Applications; том 185, № 1).

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

26 Цитирования (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 стр.

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

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