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

הצגת פרופיל Scopus

אדוארד הירש

פרופ'

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

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

תוצאות חיפוש

  • 2000

    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)

  • New worst-case upper bounds for SAT

    Hirsch, E. A., 2000, ב-: Journal of Automated Reasoning. 24, 4, עמוד 397-420 24 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

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

  • SAT local search algorithms: worst-case study

    Hirsch, E. A., 2000, ב-: Journal of Automated Reasoning. 24, 1-2, עמוד 127-143 17 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

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

  • Separating signs in the propositional satisfiability problem

    Hirsch, E. A., 2000, ב-: Journal of Mathematical Sciences. 98, 4, עמוד 442-463 22 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

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

  • Two new upper bounds for SAT

    Hirsch, E. A., 1998, עמוד 521-530. 10 עמוד.

    פרסום מחקרי: תוצר מחקר מכנס › הרצאה › ביקורת עמיתים

    29 ציטוטים ‏(Scopus)
  • 1997

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

    Hirsch, E. A., 1997, ב-: Journal of Mathematical Sciences. 87, 6, עמוד 4065-4066 2 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים