This is a list of publications related to solving constraints modelled by automata (under construction)
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
In: M. Rueher (editor), CP 2016. Lecture Notes in Computer Science, volume 9892, pages 13-29. Springer, 2016.
[PDF ] [Preprint ]
A Transducer-Based Model for Representing Functional Constraints on Integer Sequences
In: K. Leo (editor), ModRef 2018,
the 17th International Workshop on Constraint Modelling and Reformulation, held at CP 2018, August 2018.
Global Constraint Catalog, Volume II, Time-Series Constraints
Computing Research Repository 1609.08925, September 2016.