SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle | IEEE Conference Publication | IEEE Xplore