Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/9955
Title: | Исследование субэкспоненциального алгоритма SAT- задач |
Other Titles: | Investigation subexponential algorithm SAT- tasks |
Authors: | Пархоменко, Александр Александрович Parkhomenko, O.O. |
Keywords: | SAT- задачи булева функция солвер метод Монте – Карло SAT- задачі булева функція солвер метод Монте – Карло SAT- tasks Boolean function solver Monte - Carlo method |
Issue Date: | 2014 |
Publisher: | Українська державна академія залізничного транспорту |
Citation: | Пархоменко, А. А. Исследование субэкспоненциального алгоритма SAT- задач / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті. - 2014. - № 5. - С. 53-56. |
Abstract: | RU: В статье были опубликованы результаты экспериментального исследования предложенного
субэкспоненциального алгоритма, что позволяет точно решать SAT- задачи большой размерности. EN: In the article has been published results of the experimental research that considered a subexponential algorithm that allow us to resolve multidimensional SAT tasks with high precision. |
URI: | http://lib.kart.edu.ua/handle/123456789/9955 |
ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
Appears in Collections: | № 5 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Parkhomenko.pdf | 136.64 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.