Rahul Ilango. SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle. In 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023. pages 733-742, IEEE, 2023. [doi]
Abstract is missing.