Marco Carmosino: Efficient Reasoning Can't Distinguish Between Algorithms and Circuits
Автор: DIMACS CCICADA
Загружено: 2022-05-27
Просмотров: 201
Описание: Marco Cormosino presents "Efficient Reasoning Can't Distinguish Between Algorithms and Circuits: Proof by Dueling Witnessing Theorems" at the DIMACS Workshop on Meta-Complexity, Barriers, and Derandomization, April 25-27, 2022.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: