Nous proposons deux sujets de stage de M2 (au choix mutuellement exclusif) pour une durée de 6 mois environ à Tokyo à partir de la fin mars en Programmation par Contraintes : 1. l'étude des symétries dans les espaces des coûts de contraintes à haute dimension, ou 2. l'étude de la répartition des solutions dans l'espace de recherche d'une contrainte et la caractérisation de sa structure, s'il y en a. Les détails sont donnés en pièce jointe.