References

This is a list of publications related to solving constraints modelled by automata (under construction)

Propagators

Improvements

  • E. Arafailova, N. Beldiceanu, M. Carlsson, P. Flener, M. A. Francisco Rodríguez, J. Pearson, and H. Simonis.
    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 ]

    • Applications

  • E. Arafailova, N. Beldiceanu, R. Douence, M. Carlsson, M. A. Francisco Rodríguez, and H. Simonis.
    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.
    [PDF ]
  • E. Arafailova, N. Beldiceanu, R. Douence, M. Carlsson, P. Flener, M. A. Francisco Rodríguez, J. Pearson, and H. Simonis.
    Global Constraint Catalog, Volume II, Time-Series Constraints
    Computing Research Repository 1609.08925, September 2016.
    [PDF ]