A regular language membership constraint for finite sequences of variables (0)

by G Pesant
Venue:2004) Sustainable Development in Constraint Programming 11