TY  - RPRT
TI  - Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
AU  - Joshua Brakensiek
AU  - Venkatesan Guruswami
AU  - Bart M. P. Jansen
AU  - Victor Lagerkvist
AU  - Magnus Wahlström
PY  - 2026
UR  - https://arxiv.org/abs/2605.19055
ID  - 2605.19055
ER  -