Computer Science – Artificial Intelligence
Scientific paper
2006-07-06
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.
Apt Krzysztof R.
Zoeteweij Peter
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-44809