1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.68, 519.7

Реферат:

Рассматривается одна из базовых задач логико-комбинаторных вычислений – проверка дизъ-юнктивной нормальной формы на тавтологию. Предлагаются два алгоритма параллельного решения этой задачи с использованием многопроцессорных систем. Приводятся результаты эксперименталь-ных испытаний предложенных алгоритмов на суперкомпьютере семейства СКИФ, показывающие эф-фективность параллельных вычислений при решении логико-комбинаторной задачи.