ПРОЦЕДУРЫ ПОСТРОЕНИЯ ДЕКОМПОЗИЦИОННЫХ МНОЖЕСТВ ДЛЯ РАСПРЕДЕЛЕННОГО РЕШЕНИЯ SAT-ЗАДАЧ В ПРОЕКТЕ ДОБРОВОЛЬНЫХ ВЫЧИСЛЕНИЙ SAT@HOME

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

MoreLess

Year of publication:	2013
Authors:	СЕРГЕЕВИЧ, ЗАИКИН ОЛЕГ ; АНАТОЛЬЕВИЧ, СЕМЁНОВ АЛЕКСАНДР ; АНАТОЛЬЕВИЧ, ПОСЫПКИН МИХАИЛ
Published in:	Управление большими системами: сборник трудов. - CyberLeninka. - 2013, 3, p. 138-156
Publisher:	CyberLeninka Федеральное государственное бюджетное учреждение науки Институт проблем управления им. В.А. Трапезникова РАН
Subject:	ВЫПОЛНИМОСТЬ БУЛЕВЫХ ФОРМУЛ \| МЕТОД ИМИТАЦИИ ОТЖИГА \| ДОБРОВОЛЬНЫЕ РАСПРЕДЕЛЕННЫЕ ВЫЧИСЛЕНИЯ \| SAT@HOME. \| BOOLEAN SATISFIABILITY PROBLEM \| SIMULATED ANNEALING \| VOLUNTEER COMPUTING \| SAT@HOME

freely available

Full text |

More access options

Check Google Scholar

In German libraries (KVK)

I need help

More details

Type of publication:	Article
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10011227145