Quadratic Modelings of Syndrome Decoding

Alessio Caminata, Ryann Cartor, Alessio Meneghetti +2

This paper presents enhanced reductions of the bounded-weight and exact-weight Syndrome Decoding Problem (SDP) to a system of quadratic equations. Over ${\mathbb{F}}_2$, we improve o…