28 citations · 30 across the 5 of their papers we have counts for
5 papers
Using ATL to define advanced and flexible constraint model transformations
Raphael Chenouard, Laurent Granvilliers, Ricardo Soto
Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tu…
Rewriting Constraint Models with Metamodels
Raphael Chenouard, Laurent Granvilliers, Ricardo Soto
An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may requi…
Model-Driven Constraint Programming
Raphael Chenouard, Laurent Granvilliers, Ricardo Soto
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calculat…
Directional Consistency for Continuous Numerical Constraints
Frederic Goualard, Laurent Granvilliers
Bounds consistency is usually enforced on continuous constraints by first decomposing them into binary and ternary primitives. This decomposition has long been shown to drastically…
Enhancing Constraint Propagation with Composition Operators
Laurent Granvilliers, Eric Monfroy
Constraint propagation is a general algorithmic approach for pruning the search space of a CSP. In a uniform way, K. R. Apt has defined a computation as an iteration of reduction f…