פרסומים מחקריים בשנה
פרסומים מחקריים בשנה
תוצאות חיפוש
-
2005
Simulating Cutting Plane proofs with restricted degree of falsity by resolution
Hirsch, E. A. & Nikolenko, S. I., 2005, ב-: Lecture Notes in Computer Science. 3569, עמוד 135-142 8 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
5 ציטוטים (Scopus) -
2004
Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas
Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 2004, ב-: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). עמוד 84-96 13 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
4 ציטוטים (Scopus) -
2003
Algebraic proof systems over formulas
Grigoriev, D. & Hirsch, E. A., 28 יוני 2003, ב-: Theoretical Computer Science. 303, 1, עמוד 83-102 20 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
גישה חופשית28 ציטוטים (Scopus) -
Worst-case study of local search for MAX-k-SAT
Hirsch, E. A., 15 אוג׳ 2003, ב-: Discrete Applied Mathematics. 130, 2, עמוד 173-184 12 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
גישה חופשית17 ציטוטים (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)