SAT-Based Syndrome Decoding and Low-Weight Codewords. - Carl Berton; Sami Cherif; Claire Delaplace (FM (1), 2026)