Михайлин Иван Андреевич

Доклады и лекции в базе данных Math-Net.Ru

1. Полиномиальные формулировки как барьер для доказательств сложности
   И. А. Михайлин
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   11 ноября 2022 г. 16:00