Ekaterina Arafailova
Ekaterina Arafailova
IMT Atlantique
Bestätigte E-Mail-Adresse bei imt-atlantique.fr
Titel
Zitiert von
Zitiert von
Jahr
Global constraint catalog, volume ii, time-series constraints
E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ...
arXiv e-prints, arXiv: 1609.08925, 2016
172016
Time-series constraints: Improvements and application in CP and MIP contexts
E Arafailova, N Beldiceanu, R Douence, P Flener, MAF Rodríguez, ...
International Conference on AI and OR Techniques in Constraint Programming …, 2016
122016
Systematic derivation of bounds and glue constraints for time-series constraints
E Arafailova, N Beldiceanu, M Carlsson, P Flener, MAF Rodríguez, ...
International Conference on Principles and Practice of Constraint …, 2016
62016
Generating linear invariants for a conjunction of automata constraints
E Arafailova, N Beldiceanu, H Simonis
International Conference on Principles and Practice of Constraint …, 2017
52017
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
52016
Global constraint catalog, volume ii, time-series constraints. CoRR abs/1609.08925 (2016)
E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, ...
5
Functional description of sequence constraints and synthesis of combinatorial objects
E Arafailova
Ecole nationale supérieure Mines-Télécom Atlantique, 2018
32018
Deriving generic bounds for time-series constraints based on regular expressions characteristics
E Arafailova, N Beldiceanu, H Simonis
Constraints 23 (1), 44-86, 2018
32018
Global Constraint Catalog, Volume ii, time-Series Constraints
E Arafailova, N Beldiceanu, R Douence, M Carlsson, P Flener, J Pearson, ...
IMT Atlantique, 2018
22018
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
12017
Invariants for time-series constraints
E Arafailova, N Beldiceanu, H Simonis
Constraints 25 (3), 71-120, 2020
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
A Transducer-Based Model for Representing Functional Constraints on Integer Sequences
E Arafailova, N Beldiceanu, M Carlsson, R Douence, MAF Rodrıguez, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14