US7076516B2 - Efficient Method of Identifying Non-Solution or Non-Optimal Regions of the Domain of a Function