Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул

Параметры документа

Название: 

Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул

Номер заявки: 

2011151770

Дата подачи заявки: 

20.12.2011

Библиографическая ссылка: 

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