Skip to main content

The Department of Mathematics and Information Technology in SPbAU RAS

Main menu

About
Alumni
Events
Russian MSc programs
Professors

Russian
English

Семинары

12.09.2017 Алгоритмы раскраски графов (Надежда Воронова)

Теоретический семинар (осень 2017)
21.02.2017 Нижняя оценка на размер FBDD для выполнимых цейтинских формул (Людмила Глинских)

Теоретический семинар (весна 2017)
15.12.2015 Генерация трудных примеров для алгоритмов, рещающих задачу выполнимости (Дмитрий Соколов)

Теоретический семинар (осень 2015)
08.12.2015 Обобщения метода элиминации гейтов для доказательства нижних оценок на схемную сложность (Александр Куликов)

Теоретический семинар (осень 2015)
01.12.2015 Нижняя оценка на размер OBDD для выполнимых цейтинских формул (Людмила Глинских)

Теоретический семинар (осень 2015)

Теоретический семинар