New LP-Based Upper Bounds in the Rate-Vs.-Distance Problem for Binary Linear Codes | IEEE Journals & Magazine | IEEE Xplore