https://123dok.net/document/ky6nwe4z-interval-tests-and-contractors-based-on-optimality-conditions-for-bound-constrained-global-optimization.html