Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications - Scholz, Daniel (Springer New York, 2012)