Алгоритмическая задача выполнимости булевых формул, А.Куликов

Александр Куликов (ПОМИ РАН, Computer Science Center) О лекторе: Доктор физико-математических наук. Научный сотрудник лаборатории математической л...