@misc{indiciae7ddbf5c7ed00,
  title = {Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa},
  author = {Benjamin Bedert and Tamio-Vesa Nakajima and Karolina Okrasa and Stanislav Živný},
  year = {2026},
  url = {https://arxiv.org/abs/2507.17878},
  note = {Source identifier: 2507.17878}
}