Theoretical and Experimental Analysis of the Jurema Branch-and-Bound Method | IEEE Conference Publication | IEEE Xplore