A Novel Branch-and-Bound Algorithm for the Protein Folding Problem in the 3D HP Model | IEEE Journals & Magazine | IEEE Xplore