Offre de thèse de l'Universite de Picardie Jules Verne

Sujet de thèse: SOMME COLORATION DE GRAPHE, RESOLUTION PAR SOLVEUR SAT

Objectif de la thèse : Nous souhaitons étudier à travers ces travaux, 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).

Mots clés : Coloration de graphe, somme coloration, partition, cliques, SAT

Descriptif détaillé du sujet de thèse : voir http://home.mis.u-picardie.fr/~cli/EnglishPage.html

Candidature à envoyer par mail à {chu-min.li, corinne.vasseur}@u-picardie.fr : CV, lettre de motivation,

notes et classement des 2 dernières années, avec éventuellement lettres de recommandation.