Algorithms for SAT based on search in hamming balls

Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert

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

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

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Algorithms for SAT based on search in hamming balls'. יחד הם יוצרים טביעת אצבע ייחודית.

Keyphrases

Mathematics