TY - RPRT TI - The Richness of CSP Non-redundancy 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/2507.07942 ID - 2507.07942 ER -