SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle

Rahul Ilango. SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle. SIAM Journal on Computing, 55(3), 2026. [doi]

Abstract

Abstract is missing.