R.: Generalized arc consistency for positive table constraints (2006)

by C Lecoutre, Szymanek
Venue:In: Proceedings of CP 06