Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/12083
Title: Сведения задачи проектирования ПЛИС к SAT задачи
Authors: Пархоменко, Александр Александрович
Issue Date: 2013
Publisher: Українська державна академія залізничного транспорту
Citation: Пархоменко А. А. Сведения задачи проектирования ПЛИС к SAT задачи / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 26-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 18-19 вересня 2013 р.). – 2013. – № 4 (додаток). – С. 15.
Abstract: Задача выполнимости представляет собой важнейшую проблему дискретной математики, которая имеет большое количество практических приложений в системах автоматизированного проектирования. Задача SAT это задача определения разрешимости булевой формулы. Формула называется разрешимой, если для нее существует выполняющий ее набор переменных, то есть набор значений всех входящих в формулу переменных, на которых формула истина. Данная задача имеет важное прикладное значение при проектировании программируемых логических интегральных схем (ПЛИС).
URI: http://lib.kart.edu.ua/handle/123456789/12083
ISSN: 1681-4886
Appears in Collections:№ 4 (додаток)

Files in This Item:
File Description SizeFormat 
Пархоменко.pdf858.3 kBAdobe PDFView/Open


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