SciLib

Abstract

В статье представлен краткий обзор существующих SAT -решателей, распараллеленных с применен ием технологии Nvidia CUDA . Приводится описание собственного решателя, основанного на методе локального поиска. Описывается сервис для автоматизации решения задач булевой выполнимости. Представлены результаты экспериментов, полученные с помощью описанного сервиса.

Данные

pages	121-129
year	2017
pageEnd	129
pageStart	121

author

Кузнецов Дмитрий Юрьевич

topic

sat-задача sat-решатель cuda 004.4'24 004.42 сервис 004.02

cites

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

references

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

keyword

sat-задача sat-решатель cuda сервис

UDC

004.4'24 004.42 004.02

in journal

Information and mathematical technologies in science and management

published in

ИМТ № 1(5) / 2017

part of

Information and mathematical technologies in science and management ИМТ № 1(5) / 2017

has fragment

124_0 124_1 124_10 124_2 124_3 124_4 124_5 124_6 124_7 124_8 124_9

Входящие связи

← contains article · 1

Information and mathematical technologies in science and management

← fragment of · 11

124_0 124_1 124_10 124_2 124_3 124_4 124_5 124_6 124_7 124_8 124_9

← Contains · 1

Information and mathematical technologies in science and management

← has part · 1

Information and mathematical technologies in science and management

СЕРВИС ДЛЯ РЕШЕНИЯ SAT ЗАДАЧ НА ОСНОВЕ ГИБРИДНОГО ПОДХОДА