Mathematical Programming Decoding of Binary Linear Codes: Theory and Algorithms | IEEE Journals & Magazine | IEEE Xplore