M. Baravykaite, R. Čiegis, and J. Žilinskas, “Template realization of generalized branch and bound algorithm”, MMA, vol. 10, no. 3, pp. 217-236, Sep. 2005.