research
∙
09/22/2020
A Constraint Programming-based Job Dispatcher for Modern HPC Systems and Applications
Constraint Programming (CP) is a well-established area in AI as a progra...
share
research
∙
06/18/2018
AccaSim: a Customizable Workload Management Simulator for Job Dispatching Research in HPC Systems
We present AccaSim, a simulator for workload management in HPC systems. ...
research
∙
06/27/2014
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
On the one hand, Constraint Satisfaction Problems allow one to declarati...
research
∙
02/16/2010
Using ATL to define advanced and flexible constraint model transformations
Transforming constraint models is an important task in re- cent constrai...
research
∙
02/16/2010
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constrain...
research
∙
02/15/2010