@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}
}