Constrained global optimization of non-polynomial problems using the Taylor-Bernstein form | IEEE Conference Publication | IEEE Xplore