Maria-Isabel Restrepo-Ruiz

According to our database, Maria-Isabel Restrepo-Ruiz authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Parameterised Bounds on the Sum of Variables in Time-Series Constraints.

Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints.

Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz

CoRR, 2019