Maria-Isabel Restrepo-Ruiz

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Soft Constraints

Constraint Sets

Top Venues

Publications

Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis
Parameterised Bounds on the Sum of Variables in Time-Series Constraints. CPAIOR (2020)
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints. CoRR (2019)