TY - RPRT TI - Search versus Decision for $\mathsf{S}_2^\mathsf{P}$ AU - Lance Fortnow PY - 2025 UR - https://arxiv.org/abs/2512.02808 ID - 2512.02808 ER -