A Subspace Semi-Definite programming-based Underestimation (SSDU) method for stochastic global optimization in protein docking | IEEE Conference Publication | IEEE Xplore