TY  - RPRT
TI  - Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random"
AU  - Venkatesan Guruswami
AU  - Pravesh K. Kothari
AU  - Peter Manohar
PY  - 2023
UR  - https://arxiv.org/abs/2109.04415
ID  - 2109.04415
ER  -