Constraint propagation in presence of arrays (2001)

by Sebastian Brand
Venue:In Computing Research Repository, 6th Workshop of the ERCIM Working Group on Constraints