Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі

Бойнік, А. Б.; Бутенко, В. М.; Головко, О. В.; Ушаков, М. В.


	Наукова періодика України		Інформаційно-керуючі системи на залізничному транспорті

Бойнік А. Б.
Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі / А. Б. Бойнік, В. М. Бутенко, О. В. Головко, М. В. Ушаков // Інформаційно-керуючі системи на залізничному транспорті. - 2018. - № 3. - С. 31-38. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2018_3_5

Повний текст PDF - 204.297 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Бібліографічний опис для цитування:

Бойнік А. Б. Оптимізація алгоритму субекспоненціальної складності для розв’язання SAT задачі / А. Б. Бойнік, В. М. Бутенко, О. В. Головко, М. В. Ушаков // Інформаційно-керуючі системи на залізничному транспорті. - 2018. - № 3. - С. 31-38. - Режим доступу: http://nbuv.gov.ua/UJRN/Ikszt_2018_3_5.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Бойнік Анатолій Борисович (1949–2021) (технічні науки)

Бутенко Володимир Михайлович (1968–) (технічні науки)

Головко Олександра Володимирівна (1972–) (фізико-математичні науки)

Головко Олексій Володимирович (технічні науки)

Головко Олександр Вікторович (технічні науки)

Ушаков Михайло Віталійович (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача