| 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, ... | | |
Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceПодтвержден адрес электронной почты в домене mines-nantes.fr
