On the Pseudocodeword Redundancy of Binary Linear Codes | IEEE Journals & Magazine | IEEE Xplore