SAT-Based Syndrome Decoding and Low-Weight Codewords.

Carl Berton, Sami Cherif, Claire Delaplace

Browse the full FM paper archive.