Text this: Global optimization using interval analysis /