A global BMI algorithm based on the generalized benders decomposition | IEEE Conference Publication | IEEE Xplore