Stage M2

Description du poste

Les problèmes de satisfaction de contraintes, ou CSP (Constraint Satisfaction Problems), constituent une famille de problèmes importante en informatique fondamentale avec des applications variées, notamment en aide à la décision. Très schématiquement, pour les CSP dicrets comme continus, les méthodes de résolution les plus utilisées sont de type « branch-and-prune », aussi appelées « branch-and-propagate ». Dans ce projet nous nous intéresserons à l’étape de branchement, visant à choisir une variable et à partitionner son domaine, l’angle choisi étant de transposer, d’adapter et d’évaluer les heuristiques connues pour être efficaces pour les CSP discrets, au cas des CSP continus.
Plus de détails et une version en anglais ici : https://perso.ens-lyon.fr/nathalie.revol/CONFIANTE/internship2027.pdf

Profil recherché

Niveau M2.
Compétences
— en informatique et en particulier programmer en C++
— aimer les mathématiques

Voir le fichier joint