An Analysis of Arithmetic Constraints on Integer Intervals

Details An Analysis of Arithmetic Constraints on Integer Intervals An Analysis of Arithmetic Constraints on Integer Intervals

2006-07-06

arxiv.org/abs/cs/0607016v2

Computer Science

Artificial Intelligence

44 pages, to appear in 'Constraints' journal

Scientific paper

Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for these constraints. To describe them we introduce integer interval arithmetic. Each approach is explained using appropriate proof rules that reduce the variable domains. We compare these approaches using a set of benchmarks. For the most promising approach we provide results that characterize the effect of constraint propagation. This is a full version of our earlier paper, cs.PL/0403016.

Affiliated with

Also associated with

No associations

Rating

An Analysis of Arithmetic Constraints on Integer Intervals 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 An Analysis of Arithmetic Constraints on Integer Intervals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Analysis of Arithmetic Constraints on Integer Intervals will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-44809