Боков Григорий Владимирович (кандидат физико-математических наук, доцент)

• Курсовая работа (2021): Исследование упорядоченной разрешающей стратегии в CDCL алгоритме.
• Курсовая работа (2020): О преобразовании графовых опровержений булевых функций.
• Курсовая работа (2019): Исследование распределённых однородных структур.
• Дипломная работа (2022): О разрешающих стратегиях для резолютивных доказательств.