Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization

Lijie Chen 0001, Roei Tell, Ryan Williams 0001. Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization. In 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023. pages 1008-1047, IEEE, 2023. [doi]

Abstract

Abstract is missing.