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 | Size | Format | |
---|---|---|---|---|
Пархоменко.pdf | 858.3 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.