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


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

Цитованість авторів публікації:
  • Бойнік А.
  • Бутенко В.
  • Головко О.
  • Ушаков М.

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

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

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Бойнік Анатолій Борисович (1949–2021) (технічні науки)
  • Бутенко Володимир Михайлович (1968–) (технічні науки)
  • Головко Олександра Володимирівна (1972–) (фізико-математичні науки)
  • Головко Олексій Володимирович (технічні науки)
  • Головко Олександр Вікторович (технічні науки)
  • Ушаков Михайло Віталійович (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського