Decoding Reed–Muller Codes Using Redundant Code Constraints | IEEE Conference Publication | IEEE Xplore