TY  - RPRT
TI  - Lower Bounds for Subset Sum in Resolution with Modular Counting
AU  - Fedor Part
PY  - 2026
UR  - https://arxiv.org/abs/2202.08214
ID  - 2202.08214
ER  -