TY  - RPRT
TI  - Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa
AU  - Benjamin Bedert
AU  - Tamio-Vesa Nakajima
AU  - Karolina Okrasa
AU  - Stanislav Živný
PY  - 2026
UR  - https://arxiv.org/abs/2507.17878
ID  - 2507.17878
ER  -