TY  - RPRT
TI  - Exact separation of forbidden-set cuts associated with redundant parity checks of binary linear codes
AU  - Christian Puchert
AU  - Andreas M. Tillmann
PY  - 2020
UR  - https://arxiv.org/abs/2004.03387
ID  - 2004.03387
ER  -