Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/12016
Title: | Повышение эффективности программного обеспечения в логистике с помощью алгоритма решения SAT- задач на железнодорожном транспорте |
Authors: | Пархоменко, Александр Александрович |
Issue Date: | 2015 |
Publisher: | Український державний університет залізничного транспорту |
Citation: | Пархоменко А. А. Повышение эффективности программного обеспечения в логистике с помощью алгоритма решения SAT- задач на железнодорожном транспорте / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 28-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 24-25 вересня 2015 р.). – 2015. – № 4 (додаток). – С. 14-15. |
Abstract: | В результате экспериментального исследования предложен алгоритм субэкспоненциальной сложности, позволяющий точно решать SAT- задачи достаточно большой размерности и может быть использован для повышения контроля перевозки почты за принципами логистики. |
URI: | http://lib.kart.edu.ua/handle/123456789/12016 |
ISSN: | 1681-4886 |
Appears in Collections: | № 4 (додаток) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Пархоменко.pdf | 1.76 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.