TY - RPRT TI - Polynomial formulations as a barrier for reduction-based hardness proofs AU - Tatiana Belova AU - Alexander Golovnev AU - Alexander S. Kulikov AU - Ivan Mihajlin AU - Denil Sharipov PY - 2022 UR - https://arxiv.org/abs/2205.07709 ID - 2205.07709 ER -