Browsing by Subject булева функція
Showing results 1 to 2 of 2
| Preview | Issue Date | Title | Author(s) |
| 2014 | Исследование субэкспоненциального алгоритма SAT- задач | Пархоменко, Александр Александрович; Parkhomenko, O.O. |
| 2018 | Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі | Бойнік, Анатолій Борисович; Бутенко, Володимир Михайлович; Головко, Олександра Володимирівна; Ушаков, Михайло Віталійович; Boinik, Anatolii; Butenko, Volodymyr M.; Golovko, Oleksandra V.; Ushakov, Mykhailo |
