Exclusion algorithms are a well-known tool in the area of interval analysis for finding all solutions of a system of nonlinear equations or for finding the global minimum of a function over a compact domain. The present paper discusses a new class of tests for such algorithms in the context of global optimization, and presents complexity results concerning the resulting algorithms.
Eugene L. Allgower, Melissa Erdmann, Kurt Georg