Showing 2001Show all
2 papers · 1 filter
cs.PL2001
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
Krzysztof R. Apt, Roman Bartak, Eric Monfroy +2
Homepage of the workshop proceedings, with links to all individually archived papers
cs.PL2001
Constraint Propagation in Presence of Arrays
Sebastian Brand
We describe the use of array expressions as constraints, which represents a consequent generalisation of the "element" constraint. Constraint propagation for array constraints is s…