Using Gaussian Processes to Automate Probabilistic Branch & Bound for Global Optimization | IEEE Conference Publication | IEEE Xplore