Using Propagation for Solving Complex Arithmetic Constraints

Details Using Propagation for Solving Complex Arithmetic Constraints Using Propagation for Solving Complex Arithmetic Constraints

2003-09-11

arxiv.org/abs/cs/0309018v1

Computer Science

Numerical Analysis

10 pages

Scientific paper

Solving a system of nonlinear inequalities is an important problem for which conventional numerical analysis has no satisfactory method. With a box-consistency algorithm one can compute a cover for the solution set to arbitrarily close approximation. Because of difficulties in the use of propagation for complex arithmetic expressions, box consistency is computed with interval arithmetic. In this paper we present theorems that support a simple modification of propagation that allows complex arithmetic expressions to be handled efficiently. The version of box consistency that is obtained in this way is stronger than when interval arithmetic is used.

Affiliated with

Also associated with

No associations

Rating

Using Propagation for Solving Complex Arithmetic Constraints does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Using Propagation for Solving Complex Arithmetic Constraints, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using Propagation for Solving Complex Arithmetic Constraints will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-109559