01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Научная биография:
Опарин, Всеволод Владиславович.
Оценки сложности вывода в системах доказательств, основанных на методе резолюций : дис. ... канд. физ.-матем. наук : 01.01.06 ; [Место защиты: Мат. ин-т им. В.А. Стеклова РАН]. - Санкт-Петербург, 2016. - 95 с.
В. В. Опарин, А. Л. Тулупьев, “Синтез графа смежности с минимальным числом ребер: формализация алгоритма и анализ его корректности”, Тр. СПИИРАН, 11 (2009), 142–157