A Linear Program for the Finite Block Length Converse of Polyanskiy–Poor–Verdú Via Nonsignaling Codes | IEEE Journals & Magazine | IEEE Xplore