Browsing by Author Boinik, Anatolii
Showing results 1 to 2 of 2
Preview | Issue Date | Title | Author(s) |
| 2018 | Development and investigation of methods of graphic-functional modeling of distributed systems | Boinik, Anatolii; Prohonnyi, Oleksii; Kameniev, Oleksandr; Lapko, Anton; Kustov, Viktor; Kuzmenko, Dmytro; Shcheblykina, Olena |
| 2018 | Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі | Бойнік, Анатолій Борисович; Бутенко, Володимир Михайлович; Головко, Олександра Володимирівна; Ушаков, Михайло Віталійович; Boinik, Anatolii; Butenko, Volodymyr M.; Golovko, Oleksandra V.; Ushakov, Mykhailo |