Worst-case upper bounds: Worst-case upper bounds

Evgeny Dantsin, Edward A. Hirsch

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

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

תקציר

The chapter is a survey of ideas and techniques behind satisfiability algorithms with the currently best asymptotic upper bounds on the worst-case running time. The survey also includes related structural-complexity topics such as Schaefer's dichotomy theorem, reductions between various restricted cases of SAT, the exponential time hypothesis, etc.

שפה מקוריתאנגלית
כותר פרסום המארחHandbook of Satisfiability
כותר משנה של פרסום המארחSecond Edition. Part 1/Part 2
עורכיםArmin Biere, Marijn Heule, Hans Van Maaren, Toby Walsh
מוציא לאורIOS Press BV
עמודים669-692
מספר עמודים24
מסת"ב (אלקטרוני)9781643681610
מסת"ב (מודפס)9781643681603
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 5 מאי 2021
פורסם באופן חיצוניכן

סדרות פרסומים

שםFrontiers in Artificial Intelligence and Applications
כרך336
ISSN (מודפס)0922-6389

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Worst-case upper bounds: Worst-case upper bounds'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי