Constraint Propagation in Presence of Arrays

Simple item page
dc.creatorBrand, Sebastian
dc.date2001-05-14
dc.date.accessioned2026-07-07T03:17:09Z
dc.date.available2026-07-07T03:17:09Z
dc.descriptionWe 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.
dc.description10 pages. Accepted at the 6th Annual Workshop of the ERCIM Working Group on Constraints, 2001
dc.identifierhttps://arxiv.org/abs/cs/0105024
dc.identifierhttp://arxiv.org/abs/cs/0105024
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30616
dc.subjectProgramming Languages
dc.subjectData Structures and Algorithms
dc.subjectD.3.3; E.1
dc.titleConstraint Propagation in Presence of Arrays
dc.typetext

Files

Collections

arXiv