Параметры документаНазвание: Спецпроцессор для задачи выполнимости булевых формулНомер заявки: 2013109147Дата подачи заявки: 01.03.2013 Библиографическая ссылка: Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2515206 РФ; Зарег. 12.03.2014.