Global constraint catalog, volume ii, time-series constraints E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ... arXiv preprint arXiv:1609.08925, 2016 | 22 | 2016 |
Time-series constraints: Improvements and application in CP and MIP contexts E Arafailova, N Beldiceanu, R Douence, P Flener, ... Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016 | 17 | 2016 |
Systematic derivation of bounds and glue constraints for time-series constraints E Arafailova, N Beldiceanu, M Carlsson, P Flener, ... International Conference on Principles and Practice of Constraint …, 2016 | 8 | 2016 |
Generating linear invariants for a conjunction of automata constraints E Arafailova, N Beldiceanu, H Simonis International Conference on Principles and Practice of Constraint …, 2017 | 7 | 2017 |
Deriving generic bounds for time-series constraints based on regular expressions characteristics E Arafailova, N Beldiceanu, H Simonis Constraints 23 (1), 44-86, 2018 | 6 | 2018 |
Global constraint catalog, volume ii, time-series constraints. CoRR abs/1609.08925 (2016) E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ... | 6 | |
Functional description of sequence constraints and synthesis of combinatorial objects E Arafailova Ecole nationale supérieure Mines-Télécom Atlantique, 2018 | 4 | 2018 |
Global Constraint Catalog, Volume II E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ... Time-Series Constraints. CoRR, abs/1609.08925 31, 88-96, 2016 | 4 | 2016 |
among Implied Constraints for Two Families of Time-Series Constraints E Arafailova, N Beldiceanu, H Simonis International Conference on Principles and Practice of Constraint …, 2017 | 2 | 2017 |
Invariants for time-series constraints E Arafailova, N Beldiceanu, H Simonis Constraints 25 (3), 71-120, 2020 | 1 | 2020 |
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints E Arafailova, N Beldiceanu, H Simonis arXiv preprint arXiv:1901.09793, 2019 | | 2019 |
Beyond the Holy Grail-Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints E Arafailova, N Beldiceanu, H Simonis Workshop on Progress Towards the Holy Grail, 2017 | | 2017 |
Automatically Mining and Proving Generic Invariants on Integer Sequences E Arafailova, N Beldiceanu, H Simonis | | |
A Transducer-Based Model for Representing Functional Constraints on Integer Sequences E Arafailova, N Beldiceanu, M Carlsson, R Douence, MAF Rodrıguez, ... | | |