17.04.2011

Исследовательский проект "Доказательство верхних оценок на время работы алгоритмов для задачи MAX-2-SAT" Александра Головнёва, студента отделения Computer Science, поддержан стипендией Яндекса.