GRASP (решатель SAT)
 |
GRASP — хорошо известный решатель экземпляров SAT . Он был разработан Жоау Маркишем Силвой , португальским исследователем в области компьютерных наук. Это означает общий алгоритм поиска для проблемы выполнимости . [1]
Внешние ссылки
[ редактировать ]Ссылки
[ редактировать ]- ^ Ж. П. Маркес-Сильва; Карем А. Сакалла (ноябрь 1996 г.). «GRASP-новый алгоритм поиска выполнимости». Дайджест Международной конференции IEEE по компьютерному проектированию (ICCAD) . стр. 220–227. CiteSeerX 10.1.1.49.2075 . дои : 10.1109/ICCAD.1996.569607 . ISBN 978-0-8186-7597-3 .