Equipe GOC

 

 

Equipe (Graphes, Optimisation et Contraintes)

Responsable : Chu-Min Li (PR)

Rapport d'activité 2011 - 2014

Production scientifique

Permanents : Gilles DEQUEN (PR), Laure DEVENDEVILLE (MCF), Frédéric FÜRST (MCF), Vassilis GIAKOUMAKIS (PR),  Sorina IONICA (MCF)Gilles KASSEL (PR)Chu-Min LI (PR), Yu LI (MCF), Corinne LUCET (MCF), Céline QUÉNU-JOIRON (MCF), Inès SAAD (EC)

Doctorants : Sarra BOUZAYANE (thèse en cotutelle ; encadrants : Gilles Kassel (30%) & Inès Saad (70 %)), Richardson CIGUENE (encadré par Gilles Dequen et Céline Joiron), Zhiwen FANG (Encadré par Chu-Min Li), Sahar GHRAB (thèse en cotutelle, Encadrants : Gilles Kassel (30) % & Inès Saad (70%)), Clément LECAT (Encadré par Chu-Min Li et Corinne Lucet), Florian LEGENDRE – co-encadré par G. DEQUEN (50%) et M. KRAJECKI (CReSTIC, URCA) (50%) ; inscrit à l’URCA, Reims, Anas Abdoul SOUKOUR – encadré par L. DEVENDEVILLE, C. LUCET et A. MOUKRIM (Heudiasyc, UTC) (50%), Zhe QUAN – encadré par C. LI (100%), Anass SBAI (Encadré par Gilles Dequen), Kaoutar SGHIOUER - encadrée par A. MOUKRIM (UTC) et Y. LI ; inscrite à l’UTC, Compiègne, Dominique THILAUT (encadrants : Gilles Kassel (33 %), Inès Saad (33%) & Eddie Soulier (30%)), Chaoyang ZHOU – encadré par C. LI (80%) et Ruchu WU ; inscrit à l’Université des Sciences et Technologies de Huazhong, Chine, Zhu ZHU – encadrée par C. LI (100%)

Associés (membres contribuants) : Pascal VANDER-SWALMEN (docteur).

Mots clés

Méthodes optimales/exactes/complètes, méthodes heuristiques/incomplètes, recherche locale et métaheuristiques, programmation linéaire en nombres entiers, décomposition des graphes, algorithmique et optimisations sur les graphes, contraintes, cryptanalyse, programmation par contraintes, satisfiabilité, parallélisme.

Domaine de Recherche

  • Modélisation. Nous modélisons les problèmes et les informations sous forme de graphes ou de contraintes. Information. Nous distinguons les informations implicites et explicites. Les informations explicites sont exprimées sous forme de graphes ou contraintes. Des informations implicites, qui sont des solutions (ou solutions partielles) du problème à résoudre, doivent pouvoir être efficacement déduites à partir de graphes ou de contraintes.
  • Systèmes. Nous développons des systèmes d'aide à la décision en utilisant différentes méthodes, complétes ou incomplètes, exactes ou approchées, ou des méthodes hybrides pour trouver des solutions aux problèmes. La mise en oeuvre des algorithmes proposés se fait aussi bien dans un cadre séquentiel que parallèle.

Actus GOC

Soutenances
Animation Scientifique
Clément Lecat soutiendra sa th!èse le lundi 27 novembre 2017 dans l'amphithéâtre Branly de l'ESIEE (14 Quai de la Somme, 80080 Amiens) à 14 heures.
 
Stage

Une offre de stage Master proposée par SEEQUEST en collaboration avec le MIS.

Domaine : informatique/santé

Période : 6 mois à temps plein, à partir de 2018

Soutenances
Animation Scientifique

Sarra Bouzayane soutiendra sa thèse de doctorat en Informatique à Amiens le Jeudi 05 octobre 2017 à 10h00, à la salle des thèses, devant les membres de jury :

Actualité

Chu-Min Li (équipe GOC) et des collègues de l'Université de Huazhong (Chine) et Barcelone (Espagne) remportent la competition SAT 2017

Cette compétition permet de confronter des solvers de problèmes Boolean Satisfiability (SAT). Elle est organisée en parallèle de la Conference Internationale Theory and Applications of Satisfiability Testing and stands, qui s'est déroulée cette année à Helsinki.

 

Séminaires d'équipe
Animation Scientifique

Le jeudi 8 juin à 14h, l'équipe GOC organisera un séminaire dans lequel XiaoHui Zou, chercheur au Searle Research Center, China University of Geosciences (Beijing), présentera ses travaux :