SDU: A Semidefinite Programming-Based Underestimation Method for Stochastic Global Optimization in Protein Docking | IEEE Journals & Magazine | IEEE Xplore