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
Результати 1-1 зі 1.
назад
1
далі
Знайдені матеріали:
Попередній перегляд
Дата випуску
Назва
Автор(и)
2018
Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі
Бойнік, Анатолій Борисович
;
Бутенко, Володимир Михайлович
;
Головко, Олександра Володимирівна
;
Ушаков, Михайло Віталійович
;
Boinik, Anatolii
;
Butenko, Volodymyr M.
;
Golovko, Oleksandra V.
;
Ushakov, Mykhailo
Перегляд
Автор
1
Boinik, Anatolii
1
Butenko, Volodymyr M.
1
Ushakov, Mykhailo
1
Бойнік, Анатолій Борисович
1
Бутенко, Володимир Михайлович
1
Головко, Олександра Володимирівна
1
Ушаков, Михайло Віталійович
Тема
1
boolean function
1
SAT task
1
SAT задача
1
subexponential complication
1
булева функція
1
субекспоненціальна складність
за датою випуску
1
2018
Has File(s)
1
true