A converse coding theorem for mismatched decoding at the output of binary-input memoryless channels | IEEE Journals & Magazine | IEEE Xplore