Deterministic algorithms for k-SAT based on covering codes and local search

Evgeny Dantsin, Andreas Goerdt, Edward A. Hirsch, Uwe Schöning

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

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

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Deterministic algorithms for k-SAT based on covering codes and local search'. יחד הם יוצרים טביעת אצבע ייחודית.

Keyphrases

Computer Science