Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/9955| Назва: | Исследование субэкспоненциального алгоритма SAT- задач |
| Інші назви: | Investigation subexponential algorithm SAT- tasks |
| Автори: | Пархоменко, Александр Александрович Parkhomenko, O.O. |
| Ключові слова: | SAT- задачи булева функция солвер метод Монте – Карло SAT- задачі булева функція солвер метод Монте – Карло SAT- tasks Boolean function solver Monte - Carlo method |
| Дата публікації: | 2014 |
| Видавництво: | Українська державна академія залізничного транспорту |
| Бібліографічний опис: | Пархоменко, А. А. Исследование субэкспоненциального алгоритма SAT- задач / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті. - 2014. - № 5. - С. 53-56. |
| Короткий огляд (реферат): | 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) |
| Розташовується у зібраннях: | № 5 |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Parkhomenko.pdf | 136.64 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.