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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.