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
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