La ROADEF
La R.O.A.D
Evénements
Prix
Publications
Plus
Forums
Connexion
Livre blanc

Stage Master2- Laboratoire MIS Amiens - Somme Coloration et SAT

Forum 'Stages' - Sujet créé le 2013-12-13 par Corinne LUCET

Titre du sujet : SOMME COLORATION DE GRAPHE, RESOLUTION PAR SOLVEUR SAT

Mots clés : Coloration de graphe, somme coloration, partition, cliques, SAT
Objectif du stage : Nous souhaitons étudier dans le cadre de ce stage, des problèmes de coloration de
graphe dérivés, comme la somme coloration pondérée minimale ou encore la partition en cliques pondérées du
graphe. Le but sera non seulement d'étudier mais également de développer des algorithmes permettant de
résoudre ces problèmes de graphe par une modélisation sous forme de clauses SAT (solveur SAT).


Contact : Chumin LI (email: chu-min.li@u-picardie.fr)
Encadrement : Chumin LI & Corinne LUCET
Lieu du stage : Equipe Graphes et Optimisation Combinatoire, Laboratoire Modélisation, Information
& Systèmes, Université de Picardie Jules Verne, Amiens
Rémunération : 436.05 €/mois
Durée : 4 mois ou alternance