Журнал ИМТ
АннотацияФрагмент документа
124_1
http://libmeta.ru/resource/imt/seg/124_1
Текст фрагмента
В статье представлен краткий обзор существующих SAT -решателей, распараллеленных с применен ием технологии Nvidia CUDA . Приводится описание собственного решателя, основанного на методе локального поиска. Описывается сервис для автоматизации решения задач булевой выполнимости. Представлены результаты экспериментов, полученные с помощью описанного сервиса.
Данные
| hasConfidence | 1.0 |
| hasOrderIndex | 1 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
фрагмент статьи
Входящие связи
← содержит фрагмент · 1