Bandeau du Laboratoire d'Informatique & Systèmes (LIS)

COALA : COntraintes, ALgorithmes et Applications

Mots clés

Intelligence Artificielle, Programmation par Contraintes, Résolution de problèmes combinatoires, Applications Industrielles, Conception de Solveurs, Calcul propositionnel, SAT, CSP, Optimisation sous contraintes, Algorithmique, Théorie de la Complexité, Théorie Algorithmique des Graphes, Planification automatique, Packing

Responsable

Djamal HABET

Membres

ADRAR Nabil Enseignant/Chercheur
AMOKRANE Roza Doctorant
CHERIF Mohamed Sami Enseignant/Chercheur
M. CHERIF Mohamed Sami
Enseignant/Chercheur
mohamedsami.cherif@lis-lab.fr
0413945837
Saint-Jérôme, COUCHES MINCES DOSI
COPPE alexandre Doctorant
M. COPPE alexandre
Doctorant
alexandre.coppe@lis-lab.fr
Saint-Jérôme, COUCHES MINCES DOSI
EL GHAZI Yousra Doctorant
M. EL GHAZI Yousra
Doctorant
yousra.el-ghazi@lis-lab.fr
Saint-Jérôme, COUCHES MINCES DOSI
GONZALES Christophe Enseignant/Chercheur
M. GONZALES Christophe
Enseignant/Chercheur
christophe.gonzales@lis-lab.fr
0413945845
Saint-Jérôme, COUCHES MINCES DOSI
GRANDCOLAS Stephane Enseignant/Chercheur
M. GRANDCOLAS Stephane
Enseignant/Chercheur
stephane.grandcolas@lis-lab.fr
0413945840
Saint-Jérôme, POLYTECH GII
HABET Djamal Enseignant/Chercheur
HABET Djamal
Enseignant/Chercheur
djamal.habet@lis-lab.fr
0413945834
Saint-Jérôme, COUCHES MINCES DOSI
HENOCQUE Laurent Enseignant/Chercheur
M. HENOCQUE Laurent
Enseignant/Chercheur
laurent.henocque@lis-lab.fr
0413945836
Saint-Jérôme, POLYTECH GII
JÉGOU Philippe Enseignant/Chercheur
M. JÉGOU Philippe
Enseignant/Chercheur
philippe.jegou@lis-lab.fr
0413945830
Saint-Jérôme, COUCHES MINCES DOSI
LI Chu min Enseignant/Chercheur
M. LI Chu min
Enseignant/Chercheur
chu-min.li@lis-lab.fr
0413945832
Saint-Jérôme, COUCHES MINCES DOSI
LI Shuolin Doctorant
M. LI Shuolin
Doctorant
shuolin.li@lis-lab.fr
0413945843
Saint-Jérôme, COUCHES MINCES DOSI
OSTROWSKI Richard Enseignant/Chercheur
M. OSTROWSKI Richard
Enseignant/Chercheur
richard.ostrowski@lis-lab.fr
0413945846
Saint-Jérôme, COUCHES MINCES DOSI
OXUSOFF Laurent Enseignant/Chercheur
M. OXUSOFF Laurent
Enseignant/Chercheur
laurent.oxusoff@lis-lab.fr
04 91 11 35 02
Saint-Jérôme, COUCHES MINCES DOSI
PAIN-BARRE Cyril Enseignant/Chercheur
M. PAIN-BARRE Cyril
Enseignant/Chercheur
cyril.pain-barre@lis-lab.fr
04 42 93 90 31 / 04 13 94 63 83
Saint-Jérôme, COUCHES MINCES DOSI
PARIS Lionel Enseignant/Chercheur
M. PARIS Lionel
Enseignant/Chercheur
lionel.paris@lis-lab.fr
413945846
Saint-Jérôme, COUCHES MINCES DOSI
PRCOVIC Nicolas Enseignant/Chercheur
M. PRCOVIC Nicolas
Enseignant/Chercheur
nicolas.prcovic@lis-lab.fr
0413945831
Saint-Jérôme, COUCHES MINCES DOSI, bureau P102
SREEDHARAN Haseena Doctorant
Mme SREEDHARAN Haseena
Doctorant
haseena.sreedharan@lis-lab.fr
Saint-Jérôme, COUCHES MINCES DOSI, étage 1er étage
TERRIOUX Cyril Enseignant/Chercheur
M. TERRIOUX Cyril
Enseignant/Chercheur
cyril.terrioux@lis-lab.fr
0413945835
Saint-Jérôme, COUCHES MINCES DOSI
VALIZADEH Amir hosein Doctorant
M. VALIZADEH Amir hosein
Doctorant
amir-hosein.valizadeh@lis-lab.fr
0413945833
Saint-Jérôme, COUCHES MINCES DOSI
VARET Adrien Enseignant/Chercheur
M. VARET Adrien
Enseignant/Chercheur
adrien.varet@lis-lab.fr
0413945841
Saint-Jérôme, COUCHES MINCES DOSI

Objectif scientifique

L’activité de l’équipe COALA se situe au cœur des fondements de l’Intelligence Artificielle et de la Programmation par Contraintes.

Nos travaux ont pour objectif de doter les systèmes de raisonnement de l’Intelligence Artificielle d’outils de résolution efficaces à la fois en théorie et en pratique mais ils ont des retombées bien au-delà dans de nombreux domaines d’applications.

Notre activité porte ainsi principalement sur l’algorithmique associée à la résolution du problème de la satisfiabilité en logique des propositions (SAT), des problèmes de satisfaction de contraintes (CSP) et de leurs extensions (optimisation sous contraintes).

Cette activité passe par l’élaboration de méthodes pour la résolution de problèmes combinatoires, la mise en évidence de fragments polynomiaux, la conception de solveurs efficaces en pratique, et leur application à des problèmes réels.

Les fondements théoriques s’appuient sur la théorie des graphes et la théorie de la complexité.
Nous développons 3 axes majeurs :

  • élaboration de méthodes de résolution pour SAT, CSP et leurs extensions à l’optimisation
  • problèmes connexes et transfert vers des applications industrielles
  • conception et réalisation de solveurs

Nous coordonnons depuis 2017 le projet ANR Demograph (http://www.lsis.org/demograph/)

L’équipe publie dans les journaux majeurs en Intelligence Artificielle et en Programmation par Contraintes (Artificial Intelligence J al , Constraints, Annals of Mathematics and Artificial Intelligence et SAT J al ) ainsi que dans les conférences phares de ces domaines (IJCAI, AAAI, CP et ECAI).

En illustration, le solveur ahmaxsat qui a remporté 3 médailles d’Or à la compétition mondiale Max-SAT en 2014 et un tracé de route maritime optimale (application industrielle).

Logo FLOC
solveur ahmaxsat

Performances du solveur ahmaxsat développé par COALA. Ce solveur a remporté 3 médailles d’or lors de la compétition mondiale Max-SAT à l’occasion de la FloC 2014 à Vienne. (FloC 2014 est à ce jour la plus important manifestation scientifique organisée autour de la Logique)

Tracé d'un chemin optimal

Tracé d’un chemin optimal (météo et consommation de carburant) entre le Havre et New-York obtenu par un système développé avec l’équipe dans le cade d’une collaboration industrielle pour le routage des navires marchands.

Publications de l’équipe

voir les publications