Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa.
Benjamin Bedert, Tamio-Vesa Nakajima, Karolina Okrasa, Stanislav Zivn
Browse the full FOCS paper archive.
Benjamin Bedert, Tamio-Vesa Nakajima, Karolina Okrasa, Stanislav Zivn
Browse the full FOCS paper archive.