Exact separation of forbidden-set cuts associated with redundant parity checks of binary linear codes

Christian Puchert, Andreas M. Tillmann

In recent years, several integer programming (IP) approaches were developed for maximum-likelihood decoding and minimum distance computation for binary linear codes. Two aspects in…