אין תמונה של אדוארד הירש

הצגת פרופיל Scopus

אדוארד הירש

פרופ'

 https://orcid.org/0009-0003-2779-5536
1997 …2024

פעילות מחקר לפי שנה

מסנן
פרסום בספר כנס

תוצאות חיפוש

  • 2024

    Proving Unsatisfiability with Hitting Formulas

    Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., ינו׳ 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (עורך). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 287).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    1 ציטוט ‏(Scopus)
  • 2023

    The Power of the Binary Value Principle

    Alekseev, Y. & Hirsch, E. A., 2023, Algorithms and Complexity - 13th International Conference, CIAC 2023, Proceedings. Mavronicolas, M. (עורך). Springer Science and Business Media Deutschland GmbH, עמוד 21-36 16 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 13898 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית
  • 2020

    Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: Can a natural number be negative?

    Alekseev, Y., Grigoriev, D., Hirsch, E. A. & Tzameret, I., 8 יוני 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (עורכים). עמוד 54-67 14 עמוד (Proceedings of the Annual ACM Symposium on Theory of Computing).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    9 ציטוטים ‏(Scopus)
  • 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. IEEE Computer Society, עמוד 89-98 10 עמוד 7782921. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; כרך 2016-December).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    41 ציטוטים ‏(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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    3 ציטוטים ‏(Scopus)
  • 2011

    Satisfiability certificates verifiable in subexponential time

    Dantsin, E. & Hirsch, E. A., 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., 2010, STACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science. עמוד 453-464 12 עמוד (Leibniz International Proceedings in Informatics, LIPIcs; כרך 5).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    9 ציטוטים ‏(Scopus)

  • Optimal acceptors and optimal proof systems

    Hirsch, E. A., 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    9 ציטוטים ‏(Scopus)
  • 2009

    A feebly secure trapdoor function

    Hirsch, E. A. & Nikolenko, S. I., 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., 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., 2006, Algorithms and Complexity - 6th Italian Conference, CIAC 2006, Proceedings. עמוד 60-68 9 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 3998 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    12 ציטוטים ‏(Scopus)
  • 2002

    Complexity of semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 2002, STACS 2002 - 19th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Alt, H. & Ferreira, A. (עורכים). עמוד 419-430 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 2285).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    38 ציטוטים ‏(Scopus)

  • Exponential lower bound for static semi-algebraic proofs

    Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (עורכים). עמוד 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., 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (עורך). עמוד 605-609 5 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 2239).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    9 ציטוטים ‏(Scopus)
  • 2000

    A new algorithm for MAX-2-SAT

    Hirsch, E. A., 2000, STACS 2000 - 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2000, Proceedings. Reichel, H. & Tison, S. (עורכים). עמוד 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., 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Rolim, J. D. P. & Welzl, E. (עורכים). עמוד 236-247 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 1853).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    24 ציטוטים ‏(Scopus)
  • 1998

    Local search algorithms for SAT: Worst-case analysis

    Hirsch, E. A., 1998, Algorithm Theory — SWAT 1998 - 6th Scandinavian Workshop on Algorithm Theory, Proceedings. Arnborg, S. & Ivansson, L. (עורכים). עמוד 246-254 9 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 1432).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    2 ציטוטים ‏(Scopus)