Patent ID: 7076516

Claim:
A system for searching for solutions of a function using a method of identifying one or more regions of a domain of a function f(x) that do not contain solutions, comprising: a controller, a global memory, a plurality of search engines, and a local memory corresponding to each of the search engines, wherein the controller is configured to access the global memory to assign a different portion of a potential solution region stored in the global memory to the local memory for each of the search engines, and responsive thereto, each search engine is configured to execute a method comprising: accessing a Taylor Form inclusion function obtained from the function f(x) that is separated into first and second components, the first component being of order n or less, and the second component being of order greater than n, where n is an integer; bounding the second component on an interval vector domain X, where X corresponds to the portion of the potential solution region assigned to the corresponding local memory; and using a cropping formula derived from one or both of the components of the Taylor Form inclusion function to identify whether the portion of the potential solution region assigned to the corresponding local memory does not contain a solution.