Deterministic global optimization : an introduction to the diagonal approach /: an introduction to the diagonal approach. ([2017])