@INCOLLECTION\{IMM2007-04427,
    author       = "S. Kj{\o}ller and P. Kozine and K. Madsen and O. Stauning",
    title        = "Non-linear Global Optimization Using Interval Arithmetic and Constraint Propagation",
    year         = "2007",
    keywords     = "Global optimization, interval analysis, constraint propagation.",
    pages        = "45-58",
    booktitle    = "",
    volume       = "4",
    number       = "",
    series       = "Springer Optimization and Its Applications",
    publisher    = "Springer Verlag",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4427-full.html",
    abstract     = "We consider the problem of finding the global optimum, and the corresponding set of optimal points, of a nonlinear function f over a compact right parallelepiped D parallel to the coordinate axes.  A new branch-and-bound type method is described. The method is an extension of the classical interval global optimization method originally given by Moore and Skelboe which iteratively investigates sub-boxes of D using monotonicity tests and interval Newton methods for reducing the set guaranteed to contain all solutions. The extension described uses constraint propagation (CP) in each iteration to further reduce this set, without losing solutions. This is done by applying {CP} for finding rigorous bounds for the set of stationary points, i.e., enclosing the solutions to the non-linear set of equations f'(x)=0.",
    isbn_issn    = "13: 978-0-387-36720-0"
}