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

Семинары

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

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

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

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

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

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

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