A Tabu Search Algorithm for the Protein Folding Problem | IEEE Conference Publication | IEEE Xplore