Lecoutre and Radoslaw Szymanek. Generalized arc consistency for positive table constraints (2006)

by Christophe
Venue:In Proceedings of CP’06