if you just want to read two papers: ------------------------------------ Gilles Pesant: A Regular Language Membership Constraint for Finite Sequences of Variables. CP 2004: 482-495 Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit: Reformulation of Global Constraints Based on Constraints Checkers. Constraints 10(4): 339-362 (2005) automata and optimisation ------------------------- Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau: A Cost-Regular Based Hybrid Column Generation Approach. Constraints 11(4): 315-333 (2006) Julien Menana, Sophie Demassey: Sequencing and Counting with the multicost-regular Constraint. CPAIOR 2009: 178-192 Marie-Claude Côté, Bernard Gendron, Louis-Martin Rousseau: Grammar-Based Column Generation for Personalized Multi-Activity Shift Scheduling. INFORMS Journal on Computing 25(3): 461-474 (2013) automata with accumulators -------------------------- Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson, Helmut Simonis: Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. to appear in CP 2016, Toulouse, France (2016). Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis: Using finite transducers for describing and synthesising structural time-series constraints. Constraints 21(1): 22-40 (2016) Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck: Propagating Regular Counting Constraints. AAAI 2014: 2616-2622 Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson: Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP 2014: 142-157 Nicolas Beldiceanu, Mats Carlsson, Thierry Petit: Deriving Filtering Algorithms from Constraint Checkers. CP 2004: 107-122 María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson: Generation of Implied Constraints for Automaton-Induced Decompositions. ICTAI 2013: 1076-1083 María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson: Implied Constraints for Automaton Constraints. GCAI 2015: 113-126 grammar constraint ------------------ Gilles Pesant, Claude-Guy Quimper, Louis-Martin Rousseau, Meinolf Sellmann: The Polytope of Context-Free Grammar Constraints. CPAIOR 2009: 223-232 Marie-Claude Côté, Bernard Gendron, Louis-Martin Rousseau: Grammar-Based Integer Programming Models for Multiactivity Shift Scheduling. Management Science 57(1): 151-163 (2011) local search ------------ Jun He, Pierre Flener, Justin Pearson: An automaton Constraint for Local Search. Fundam. Inform. 107(2-3): 223-248 (2011) reformulation to linear programming ----------------------------------- Marie-Claude Côté, Bernard Gendron, Louis-Martin Rousseau: Modeling the Regular Constraint with Integer Programming. CPAIOR 2007: 29-43 Marie-Claude Côté, Bernard Gendron, Claude-Guy Quimper, Louis-Martin Rousseau: Formal languages for integer programming modeling of shift scheduling problems. Constraints 16(1): 54-76 (2011) Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis: Time-Series Constraints: Improvements and Application in CP and MIP Contexts. CPAIOR 2016: 18-34