Upper bounds for foldings in the FCC-HP protein model | IEEE Conference Publication | IEEE Xplore