Skip navigation
Головна сторінка
Перегляд
Фонди та зібрання
Перегляд матеріалів за:
Дати випуску
Автори
Заголовки
Теми
Довідка
Мова
українська
English
Вхід:
Мій архів матеріалів
Оновлення на e-mail
Обліковий запис
Repository of academic texts of the Ukrainian State University of Railway Transport
Пошук
Пошук:
Весь архів електронних ресурсів
Наукові видання університету
Інформаційно - керуючі системи на залізничному транспорті
2018
№ 3
запит
Поточні фільтри:
Назва
Автор
Тема
за датою випуску
Has File(s)
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Назва
Автор
Тема
за датою випуску
Has File(s)
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Почати новий пошук
Додати фільтри:
Використовуйте фільтри для уточнення результатів пошуку.
Назва
Автор
Тема
за датою випуску
Has File(s)
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Результати 1-1 зі 1.
назад
1
далі
Знайдені матеріали:
Попередній перегляд
Дата випуску
Назва
Автор(и)
2018
Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі
Бойнік, Анатолій Борисович
;
Бутенко, Володимир Михайлович
;
Головко, Олександра Володимирівна
;
Ушаков, Михайло Віталійович
;
Boinik, Anatolii
;
Butenko, Volodymyr M.
;
Golovko, Oleksandra V.
;
Ushakov, Mykhailo
Перегляд
Автор
1
Boinik, Anatolii
1
Butenko, Volodymyr M.
1
Golovko, Oleksandra V.
1
Бойнік, Анатолій Борисович
1
Бутенко, Володимир Михайлович
1
Головко, Олександра Володимирівна
1
Ушаков, Михайло Віталійович
Тема
1
SAT task
1
SAT задача
1
subexponential complication
1
булева функція
1
субекспоненціальна складність
за датою випуску
1
2018
Has File(s)
1
true