Перейти к основному содержанию
Главная

Санкт-Петербургское отделение
Математического института
им. В.А.Стеклова РАН

наб. р. Фонтанки 27, Санкт-Петербург, 191023

Main menu

  • Новости
  • Структура института
    • Администрация
    • Институт им. Эйлера
    • Лаборатории
    • Научные сотрудники
    • Учёный совет
    • Научно-образовательный центр
    • Информационно-издательский сектор
    • Контакты
  • Ресурсы
    • Клуб сотрудников ПОМИ
    • Библиотека ПОМИ
    • Видеоматериалы
    • История института
    • Электронные библиотеки
    • Поступающим в аспирантуру
    • Ссылки
    • Научные сотрудники прошлых лет
    • Воспоминания об О.А. Ладыженской
  • Деятельность института
    • Конференции
    • Семинары
    • Диссертационные советы
    • Журнал "Алгебра и анализ"
    • Записки научных семинаров
    • Препринты
    • Публикации
    • Аспирантура
    • Противодействие коррупции
    • Антимонопольный комплаенс
    • Конкурс молодых ученых
  • Сотрудникам
    • Расписание аудиторий
    • Шаблоны документов бухгалтерии
    • Информация для сотрудников
    • Шаблоны документов отдела кадров
  • Вакансии
  • Поиск

Теория сложности булевых схем

Александр Владимирович Смаль

лаборатория математической логики и дискретной математики
Должность: 
младший научный сотрудник
Учёная степень: 
кандидат ф.-м. наук
Email: 
smal [at] pdmi.ras.ru
Домашняя страница: 
http://logic.pdmi.ras.ru/~smal/
Научные интересы: 
Теория сложности булевых схем
коммуникационная сложность
теория информации
алгоритмы

Образование:

2008 Университет ИТМО, факультет информационных технологий и программирования, прикладная математика и информатика.

Публикации:

  1. Ivan Mihajlin, Alexander Smal: Toward Better Depth Lower Bounds: The XOR-KRW Conjecture. CCC 2021: 38:1-38:24.
  2. Kenneth Hoover, Russell Impagliazzo, Ivan Mihajlin, Alexander V. Smal: Half-Duplex Communication Complexity. ISAAC 2018: 10:1-10:12.
  3. Alexander V. Smal, Navid Talebanfard: Prediction from partial information and hindsight, an alternative proof. Inf. Process. Lett. 136: 102-104 (2018).
  4. Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal, Suguru Tamaki: Gate elimination: Circuit size lower bounds and #SAT upper bounds. Theor. Comput. Sci. 719: 46-63 (2018).
  5. Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, Alexander Smal: On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography. Theory Comput. Syst. 51(2): 179-195 (2012).

https://dblp.uni-trier.de/pid/74/8864.html

  • Русский Русский
  • English English

Противодействие коррупции

COVID-19

QR код с информацией о коронавирусе

Для слабовидящих

Размер шрифта

– = +