A branch-and-reduce approach to global optimization
scientific article; zbMATH DE number 934391
scientific article