Сведения задачи проектирования ПЛИС к SAT задачи

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

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

Full metadata record

DC Field	Value	Language
dc.contributor.author	Пархоменко, Александр Александрович	-
dc.date.accessioned	2022-11-07T16:36:39Z	-
dc.date.available	2022-11-07T16:36:39Z	-
dc.date.issued	2013	-
dc.identifier.citation	Пархоменко А. А. Сведения задачи проектирования ПЛИС к SAT задачи / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 26-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 18-19 вересня 2013 р.). – 2013. – № 4 (додаток). – С. 15.	uk_UA
dc.identifier.issn	1681-4886	-
dc.identifier.uri	http://lib.kart.edu.ua/handle/123456789/12083	-
dc.description.abstract	Задача выполнимости представляет собой важнейшую проблему дискретной математики, которая имеет большое количество практических приложений в системах автоматизированного проектирования. Задача SAT это задача определения разрешимости булевой формулы. Формула называется разрешимой, если для нее существует выполняющий ее набор переменных, то есть набор значений всех входящих в формулу переменных, на которых формула истина. Данная задача имеет важное прикладное значение при проектировании программируемых логических интегральных схем (ПЛИС).	uk_UA
dc.publisher	Українська державна академія залізничного транспорту	uk_UA
dc.title	Сведения задачи проектирования ПЛИС к SAT задачи	uk_UA
dc.type	Article	uk_UA
Appears in Collections:	№ 4 (додаток)

Files in This Item:

File	Description	Size	Format
Пархоменко.pdf		858.3 kB	Adobe PDF	View/Open

Show simple item record