TY - RPRT TI - A Degree--Size Relation for Resolution over Polynomials AU - Shuo Pang PY - 2026 UR - https://arxiv.org/abs/2610.00837 ID - 2610.00837 ER -