Reformulation of automata for time series constraints as linear programs, 2015. ,
Reformulation of Global Constraints Based on Constraints Checkers, Constraints, vol.11, issue.2, pp.339-362, 2005. ,
DOI : 10.1007/s10601-005-2809-x
Using finite transducers for describing and synthesising structural time-series constraints, Constraints, vol.38, issue.11, pp.22-40, 2016. ,
DOI : 10.1007/s10601-015-9200-3
URL : https://hal.archives-ouvertes.fr/hal-01370322
Deriving Filtering Algorithms from Constraint Checkers, CP 2004, pp.107-122, 2004. ,
DOI : 10.1007/978-3-540-30201-8_11
Propagating regular counting constraints, AAAI 2014, pp.2616-2622, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01086758
Transductions and Context-Free Languages, Teubner, 1979. ,
DOI : 10.1007/978-3-663-09367-1
URL : https://hal.archives-ouvertes.fr/hal-00619779
An open-ended finite domain constraint solver, PLILP 1997, pp.191-206, 1997. ,
DOI : 10.1007/BFb0033845
Modeling the regular constraint with integer programming, CPAIOR 2007, pp.29-43, 2007. ,
A Cost-Regular Based Hybrid Column Generation Approach, Constraints, vol.12, issue.4???5, pp.315-333, 2006. ,
DOI : 10.1007/s10601-006-9003-7
URL : https://hal.archives-ouvertes.fr/hal-00293562
Implied constraints for automaton constraints, GCAI 2015. EasyChair Epic Series in Computing (forthcoming ) ,
Gurobi optimizer reference manual, www.gurobi.com 13. Minoux, M.: Personal communication, 2015. ,
A Regular Language Membership Constraint for Finite Sequences of Variables, CP 2004, pp.482-495, 2004. ,
DOI : 10.1007/978-3-540-30201-8_36
Elements of Language Theory, 2009. ,
Constraint-Based Linear-Relations Analysis, SAS 2004, pp.53-68, 2004. ,
DOI : 10.1007/978-3-540-27864-1_7