Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Language
українська
English
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repository of academic texts of the Ukrainian State University of Railway Transport
Search
Search:
All of DSpace
Наукові видання університету
Інформаційно - керуючі системи на залізничному транспорті
2018
№ 3
for
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Has File(s)
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-1 of 1 (Search time: 0.0 seconds).
previous
1
next
Item hits:
Preview
Issue Date
Title
Author(s)
2018
Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі
Бойнік, Анатолій Борисович
;
Бутенко, Володимир Михайлович
;
Головко, Олександра Володимирівна
;
Ушаков, Михайло Віталійович
;
Boinik, Anatolii
;
Butenko, Volodymyr M.
;
Golovko, Oleksandra V.
;
Ushakov, Mykhailo
Discover
Author
1
Boinik, Anatolii
1
Butenko, Volodymyr M.
1
Golovko, Oleksandra V.
1
Ushakov, Mykhailo
1
Бойнік, Анатолій Борисович
1
Бутенко, Володимир Михайлович
1
Головко, Олександра Володимирівна
1
Ушаков, Михайло Віталійович
Subject
1
boolean function
1
SAT task
1
subexponential complication
1
булева функція
1
субекспоненціальна складність
Date issued
1
2018
Has File(s)
1
true