A branch-and-bound algorithm for optimal protein threading with pairwise (contact potential) amino acid interactions | IEEE Conference Publication | IEEE Xplore