Vitalsource Technologies, Inc. Interval Methods For Solving Nonlinear Constraint Satisfaction, Optimiz