When Arthur Has Neither Random Coins Nor Time to Spare: Superfast Derandomization of Proof Systems

Autor: Lijie Chen, Roei Tell
Rok vydání: 2023
Zdroj: Proceedings of the 55th Annual ACM Symposium on Theory of Computing.
Databáze: OpenAIRE