Параметры документаНазвание: Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формулНомер заявки: 2011151770Дата подачи заявки: 20.12.2011 Библиографическая ссылка: Уваров С. И. Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул: Патент на изобретение № 2474871 РФ; Зарег. 10.02.2013.