Исследование субэкспоненциального алгоритма SAT- задач

Пархоменко, Александр Александрович; Parkhomenko, O.O.

Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/9955

Full metadata record

DC Field	Value	Language
dc.contributor.author	Пархоменко, Александр Александрович	-
dc.contributor.author	Parkhomenko, O.O.	-
dc.date.accessioned	2022-07-04T16:56:48Z	-
dc.date.available	2022-07-04T16:56:48Z	-
dc.date.issued	2014	-
dc.identifier.citation	Пархоменко, А. А. Исследование субэкспоненциального алгоритма SAT- задач / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті. - 2014. - № 5. - С. 53-56.	uk_UA
dc.identifier.issn	1681-4886 (рrint); 2413-3833 (online)	-
dc.identifier.uri	http://lib.kart.edu.ua/handle/123456789/9955	-
dc.description.abstract	RU: В статье были опубликованы результаты экспериментального исследования предложенного субэкспоненциального алгоритма, что позволяет точно решать SAT- задачи большой размерности.	uk_UA
dc.description.abstract	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.	-
dc.publisher	Українська державна академія залізничного транспорту	uk_UA
dc.subject	SAT- задачи	uk_UA
dc.subject	булева функция	uk_UA
dc.subject	солвер	uk_UA
dc.subject	метод Монте – Карло	uk_UA
dc.subject	SAT- задачі	uk_UA
dc.subject	булева функція	uk_UA
dc.subject	солвер	uk_UA
dc.subject	метод Монте – Карло	uk_UA
dc.subject	SAT- tasks	uk_UA
dc.subject	Boolean function	uk_UA
dc.subject	solver	uk_UA
dc.subject	Monte - Carlo method	uk_UA
dc.title	Исследование субэкспоненциального алгоритма SAT- задач	uk_UA
dc.title.alternative	Investigation subexponential algorithm SAT- tasks	uk_UA
dc.type	Article	uk_UA
Appears in Collections:	№ 5

Files in This Item:

File	Description	Size	Format
Parkhomenko.pdf		136.64 kB	Adobe PDF	View/Open

Show simple item record