Efficient Motif Discovery in Protein Sequences Using a Branch and Bound Algorithm | IEEE Journals & Magazine | IEEE Xplore