Combining SOS with Branch and Bound to Isolate Global Solutions of Polynomial Optimization Problems | IEEE Conference Publication | IEEE Xplore