Constraint Propagation in Presence of Arrays
<|reference_start|>Constraint Propagation in Presence of Arrays: 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.<|reference_end|>
@article{brand2001constraint,
    title={Constraint Propagation in Presence of Arrays},
    author={Sebastian Brand},
    journal={arXiv preprint arXiv:cs/0105024},
    year={2001},
    archivePrefix={arXiv},
    eprint={cs/0105024},
    primaryClass={cs.PL cs.DS}
}