Some branch and bound techniques for nonlinear optimization
automatic interpolation of new variables
scientific article; zbMATH DE number 4043624