TY - RPRT TI - Sum-of-Squares Lower Bounds for the Minimum Circuit Size Problem AU - Per Austrin AU - Kilian Risse PY - 2023 UR - https://arxiv.org/abs/2311.12994 ID - 2311.12994 ER -