A Comparative Study of Arithmetic Constraints on Integer Intervals

Details A Comparative Study of Arithmetic Constraints on Integer Intervals A Comparative Study of Arithmetic Constraints on Integer Intervals

2004-03-12

arxiv.org/abs/cs/0403016v1

Computer Science

Programming Languages

24 pages. To appear in "Recent Advances in Constraints, 2003" K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza, eds, LNA

Scientific paper

We propose here a number of approaches to implement constraint propagation
for arithmetic constraints on integer intervals. To this end 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.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-161351