L’équipe COCONUT est spécialiste de programmation par contraintes, et travaille plus particulièrement sur les thèmes suivants :

• propagation de contraintes et complexité de la satisfaction de contraintes,
• acquisition de contraintes, fouille de données et validation,
• programmation par contraintes sur les intervalles,
• agriculture de précision.

Les autres sujets qui nous intéressent sont par exemple les symétries, les fonctions de coût, la résolution adaptative, ou le raisonnement par contraintes distribué.