K. Cheng and R. Yap, An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints, Constraints, vol.177, issue.2???3, pp.265-304, 2010.
DOI : 10.1007/s10601-009-9087-y

I. P. Gent, C. Jefferson, I. Miguel, and P. Nightingale, Data structures for generalised arc consistency for extensional constraints, Proceedings of AAAI'07, pp.191-197, 2007.

G. Katsirelos and T. Walsh, A Compression Algorithm for Large Arity Extensional Constraints, Proceedings of CP'07, pp.379-393, 2007.
DOI : 10.1007/978-3-540-74970-7_28

C. Lecoutre, STR2: optimized simple tabular reduction for table constraints, Constraints, vol.171, issue.8???9, pp.341-371, 2011.
DOI : 10.1007/s10601-011-9107-6
URL : https://hal.archives-ouvertes.fr/hal-00868225

C. Lecoutre, C. Likitvivatanavong, and R. Yap, A path-optimal GAC algorithm for table constraints, Proceedings of ECAI'12, pp.510-515, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00873051

A. Paparrizou and K. Stergiou, An efficient higherorder consistency algorithm for table constraints, Proceedings of AAAI'12, pp.335-541, 2012.

G. Pesant, A Regular Language Membership Constraint for Finite Sequences of Variables, Proceedings of CP'04, pp.482-495, 2004.
DOI : 10.1007/978-3-540-30201-8_36

G. Pesant, C. Quimper, and A. Zanarini, Counting-based search : Branching heuristics for constraint satisfaction problems, Journal of Artificial Intelligence Research, vol.43, pp.173-210, 2012.

J. R. Ullmann, Partition search for non-binary constraint satisfaction, Information Sciences, vol.177, issue.18, pp.3639-3678, 2007.
DOI : 10.1016/j.ins.2007.03.030