Constraint Propagation in Presence of Arrays

Details Constraint Propagation in Presence of Arrays Constraint Propagation in Presence of Arrays

2001-05-14

arxiv.org/abs/cs/0105024v1

Computer Science

Programming Languages

10 pages. Accepted at the 6th Annual Workshop of the ERCIM Working Group on Constraints, 2001

Scientific paper

We describe the use of array expressions as constraints, which represents a consequent generalisation of the "element" constraint. Constraint propagation for array constraints is studied theoretically, and for a set of domain reduction rules the local consistency they enforce, arc-consistency, is proved. An efficient algorithm is described that encapsulates the rule set and so inherits the capability to enforce arc-consistency from the rules.

Affiliated with

Also associated with

No associations

Rating

Constraint Propagation in Presence of Arrays 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 Constraint Propagation in Presence of Arrays, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constraint Propagation in Presence of Arrays will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-632860