Global optimization of mixed-integer nonlinear programming for engineering design problems | IEEE Conference Publication | IEEE Xplore