A probabilistic algorithm for computing minimum weights of large error-correcting codes | IEEE Journals & Magazine | IEEE Xplore