Efficient nearest neighbor search in high dimensional hamming space. (March 2020)