Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
— Many problems in the engineering domain involve more than one objective to be optimized simultaneously. The optimal solution to a multi-objective function results in a set of e...
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
In the last few years there has been a great amount of interest in Random Constraint Satisfaction Problems, both from an experimental and a theoretical point of view. Quite intrigu...
Dimitris Achlioptas, Lefteris M. Kirousis, Evangel...