M. Almeida, N. Moreira, and R. Reis, Enumeration and generation with a string automata representation, Theoretical Computer Science, vol.387, issue.2, pp.93-102, 2007.
DOI : 10.1016/j.tcs.2007.07.029

E. Arafailova, N. Beldiceanu, M. Carlsson, R. Douence, P. Flener et al., Global Constraint Catalogue, Volume II: Time-Series Constraints, Computing Research Repository (forthcoming )

E. Arafailova, N. Beldiceanu, R. Douence, P. Flener, F. Rodríguez et al., Time-Series Constraints: Improvements and Application in CP and MIP Contexts, CP-AI-OR 2016, pp.18-34, 2016.
DOI : 10.1007/978-3-319-33954-2_2

URL : https://hal.archives-ouvertes.fr/hal-01355262

N. Beldiceanu and M. Carlsson, Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint, CP 2001, pp.377-391, 2001.
DOI : 10.1007/3-540-45578-7_26

N. Beldiceanu, M. Carlsson, R. Douence, and H. Simonis, Using finite transducers for describing and synthesising structural time-series constraints, journal fast track of CP 2015: summary on p. 723 of LNCS 9255, pp.22-40, 2016.
DOI : 10.1007/s10601-015-9200-3

URL : https://hal.archives-ouvertes.fr/hal-01370322

N. Beldiceanu, M. Carlsson, P. Flener, F. Rodríguez, M. A. Pearson et al., Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators, CP 2014, pp.142-157, 2014.
DOI : 10.1007/978-3-319-10428-7_13

URL : https://hal.archives-ouvertes.fr/hal-01086755

N. Beldiceanu, M. Carlsson, and T. Petit, Deriving Filtering Algorithms from Constraint Checkers, CP 2004, pp.107-122, 2004.
DOI : 10.1007/978-3-540-30201-8_11

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5091

N. Beldiceanu, G. Ifrim, A. Lenoir, and H. Simonis, Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker, CP 2013, pp.733-748, 2013.
DOI : 10.1007/978-3-642-40627-0_54

URL : https://hal.archives-ouvertes.fr/hal-00874326

C. Bessière, E. Hebrard, B. Hnich, Z. Kiziltan, C. G. Quimper et al., Reformulating Global Constraints: The Slide and Regular Constraints, SARA 2007. LNAI, pp.80-92, 2007.
DOI : 10.1007/978-3-540-73580-9_9

C. Bessière, G. Katsirelos, N. Narodytska, C. G. Quimper, and T. Walsh, Decomposition of the NValue Constraint, CP 2010, pp.114-128, 2010.
DOI : 10.1007/978-3-642-15396-9_12

F. Rodríguez, M. A. Flener, P. Pearson, and J. , Implied constraints for Automaton constraints, GCAI 2015. EasyChair Proceedings in Computing, pp.113-126, 2015.

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2007.
DOI : 10.1145/568438.568455

J. N. Monette, P. Flener, and J. Pearson, Towards Solver-Independent Propagators, CP 2012, pp.544-560, 2012.
DOI : 10.1007/978-3-642-33558-7_40

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.260.1003

J. C. Régin, A filtering algorithm for constraints of difference in CSPs, pp.362-367, 1994.

P. Van-hentenryck, V. Saraswat, and Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD). Tech. Rep. CS-93-02, Based on the unpublished manuscript Constraint Processing in cc(FD), pp.293-316, 1991.