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 SizeFormat 
Parkhomenko.pdf136.64 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.