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