A Semi-Definite programming-based Underestimation method for global optimization in molecular docking | IEEE Conference Publication | IEEE Xplore