On the size of optimal binary codes of length 9 and covering radius 1 | IEEE Journals & Magazine | IEEE Xplore