Журнал ИМТ
Статья журнала ИМТПубликацияНаучная статья
СЕРВИС ДЛЯ РЕШЕНИЯ SAT ЗАДАЧ НА ОСНОВЕ ГИБРИДНОГО ПОДХОДА
http://libmeta.ru/object/imt_pub_124
Аннотация
В статье представлен краткий обзор существующих SAT -решателей, распараллеленных с применен ием технологии Nvidia CUDA . Приводится описание собственного решателя, основанного на методе локального поиска. Описывается сервис для автоматизации решения задач булевой выполнимости. Представлены результаты экспериментов, полученные с помощью описанного сервиса.
Данные
| pages | 121-129 |
| год | 2017 |
| pageEnd | 129 |
| pageStart | 121 |
автор
цитирует
NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver
Parallelization of SAT Algorithms on GPUs
Survey propagation: An algorithm for satisfiability
Use NVIDIA CUDA technology to create genetic algorithms with extensive populati…
Инструментальные средства автоматизации параллельного решения булевых уравнений…
Boolean Satisfiability on a Graphics Processor
Основы работы с технологией CUDA
Computation of 3-SAT problem on Graphic Process Unit
Технология параллельного решения нелинейных систем булевых уравнений на вычисли…
CUD@SAT: SAT Solving on GPUs
Cервис-ориентированный подход к организации распределенных вычислений с помощью…
3-SAT on CUDA: Towards a Massively Parallel SAT Solver
+3
ссылается на
NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver
Parallelization of SAT Algorithms on GPUs
Survey propagation: An algorithm for satisfiability
Use NVIDIA CUDA technology to create genetic algorithms with extensive populati…
Инструментальные средства автоматизации параллельного решения булевых уравнений…
Boolean Satisfiability on a Graphics Processor
Основы работы с технологией CUDA
Computation of 3-SAT problem on Graphic Process Unit
Технология параллельного решения нелинейных систем булевых уравнений на вычисли…
CUD@SAT: SAT Solving on GPUs
Cервис-ориентированный подход к организации распределенных вычислений с помощью…
3-SAT on CUDA: Towards a Massively Parallel SAT Solver
+3
ключевое слово
опубликовано в
Входящие связи
← содержит статью · 1