Identifying minimal shift counters: a search technique | IEEE Journals & Magazine | IEEE Xplore