פרסומים מחקריים בשנה
פרסומים מחקריים בשנה
תוצאות חיפוש
-
2021
Worst-case upper bounds: Worst-case upper bounds
Dantsin, E. & Hirsch, E. A., 5 מאי 2021, Handbook of Satisfiability: Second Edition. Part 1/Part 2. Biere, A., Heule, M., Van Maaren, H. & Walsh, T. (עורכים). IOS Press BV, עמוד 669-692 24 עמוד (Frontiers in Artificial Intelligence and Applications; כרך 336).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרק › ביקורת עמיתים
2 ציטוטים (Scopus) -
2009
Worst-case upper bounds
Dantsin, E. & Hirsch, E. A., 2009, Handbook of Satisfiability. 1 מהדורה IOS Press, עמוד 403-424 22 עמוד (Frontiers in Artificial Intelligence and Applications; כרך 185, מס' 1).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרק › ביקורת עמיתים
29 ציטוטים (Scopus) -
2004
Algorithms for SAT based on search in hamming balls
Dantsin, E., Hirsch, E. A. & Wolpert, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Diekert, V. & Habib, M. (עורכים). עמוד 141-151 11 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 2996).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרק › ביקורת עמיתים
21 ציטוטים (Scopus)