Deterministic algorithms for k-SAT based on covering codes and local search
Evgeny Dantsin, Andreas Goerdt, Edward A. Hirsch, Uwe Schöning
نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء
24
اقتباسات
(Scopus)