New Techniques for Upper-Bounding the ML Decoding Performance of Binary Linear Codes | IEEE Journals & Magazine | IEEE Xplore