Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/9955| Title: | Исследование субэкспоненциального алгоритма SAT- задач |
| Other Titles: | Дослідження субекспоненціального алгоритму SAT - задач 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- задачи большой размерности. UA: У статті були опубліковані результати експериментального дослідження запропонованого субекспоненціального алгоритму, що дозволяє точно вирішувати 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 |
| 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.