A tabu search approach to the minimum distance of error-correcting codes