Projet : LOCO

previous up next contents
Précédent : Aspects langages Remonter : Fondements scientifiques Suivant : Aspects environnements


   
Aspects domaines de contraintes et algorithmes de résolution



Participants : Philippe Codognet, Daniel Diaz, Yan Georget, Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Nicolas Romero.

Mots clés : programmation par contraintes, sémantique, implantation, compilation, satisfaction de contraintes, modèle d'exécution, coopération de solveurs .

Parmi les différents domaines de contraintes, les domaines finis semblent être les plus prometteurs, car ils sont très utiles dans de nombreuses applications industrielles comme par exemple les problèmes combinatoires, l'ordonnancement, cutting-stock, la simulation de circuits, le diagnostic, l'aide à la décision ou même les problèmes booléens.

Certains autres domaines d'application, encore peu développés, imposent une modélisation, et donc un traitement, de contraintes non-linéaires sur des domaines continus (typiquement sur les réels). Parmi ces domaines, on peut citer l'économie, la chimie, l'ingénierie, la robotique ou la géométrie (synthèse d'image). Nous travaillons également sur les contraintes d'intervalles, à la base de méthodes qui semblent adaptées à ces types de problèmes.

Nos travaux se poursuivent sur les axes suivants:



previous up next contents
Précédent : Aspects langages Remonter : Fondements scientifiques Suivant : Aspects environnements