@techreport{repORt:2020-58, author = {C. Puchert and A.M. Tillmann}, title = {Exact separation of forbidden-set cuts associated with redundant parity checks of binary linear codes}, institution = {Lehrstuhl f\"{u}r Operations Research, RWTH Aachen University}, year = {2020}, type = {repORt}, number = {2020--58}, month = {Apr}, url = {https://www.or.rwth-aachen.de/files/research/repORt/puchert_tillmann_2020.pdf} }