COALA : COntraintes, ALgorithmes et Applications

Keys Words

IArtificial Intelligence, Constraint Programming, Problem Solving, Real-Life Applications, Design and Implementation of Solvers, Propositional Calculus, SAT, CSP, Constrained Optimization, Algorithmics, Complexity Theory, Graph Algorithms, Automated Planning, Packing

 

Head

Philippe JEGOU

 

Permanent Members

GONZALES ChristopheProfesseur des Universités
Courriel : christophe.gonzales@lis-lab.fr
GRANDCOLAS StéphaneMaitre de Conférences
Courriel : stephane.grandcolas@lis-lab.fr
Telephone : 0491288325
Page personnelle : https://pageperso.lis-lab.fr/stephane.grandcolas/
HABET DjamalProfesseur des Universités
Courriel : djamal.habet@lis-lab.fr
Telephone : 0491288321
Page personnelle : https://pageperso.lis-lab.fr/djamal.habet/
HENOCQUE LaurentMaitre de Conférences
Courriel : laurent.henocque@lis-lab.fr
Telephone : 0491282740
JEGOU PhilippeProfesseur des Universités
Courriel : philippe.jegou@lis-lab.fr
Telephone : 0491288937
OSTROWSKI RichardMaitre de Conférences
Courriel : richard.ostrowski@lis-lab.fr
Telephone : 0491288367
Page personnelle : https://pageperso.lis-lab.fr/richard.ostrowski/
OXUSOFF LaurentMaitre de Conférences
Courriel : laurent.oxusoff@lis-lab.fr
PAIN-BARRE CyrilMaitre de Conférences
Courriel : cyril.pain-barre@lis-lab.fr
Telephone : 0442939031
PARIS LionelMaitre de Conférences
Courriel : lionel.paris@lis-lab.fr
Telephone : 0491288367
PRCOVIC NicolasMaitre de Conférences
Courriel : nicolas.prcovic@lis-lab.fr
Telephone : 0491288951
TERRIOUX CyrilMaitre de Conférences
Courriel : cyril.terrioux@lis-lab.fr
Telephone : 0491288991
Page personnelle : https://pageperso.lis-lab.fr/cyril.terrioux/

 

Phd Studients

ADRAR NabilDoctorant
Courriel : nabil.adrar@lis-lab.fr
BALAFREJ AmineATER
Courriel : amine.balafrej@lis-lab.fr
CHERIF Mohamed SamiDoctorant
Courriel : mohamedsami.cherif@lis-lab.fr
PY MatthieuDoctorant
Courriel : matthieu.py@lis-lab.fr
VARET AdrienDoctorant
Courriel : adrien.varet@lis-lab.fr

 

Other staff members

 
—-
Research interests

The researchs of the COALA team are located at the heart of the foundations of Artificial Intelligence and Constraint Programming.

Our work aims to equip Artificial Intelligence reasoning systems with effective resolution tools, both in theory and in practice, and they can also have strong repercussions in many practical applications.

Our research focuses mainly on the algorithmic associated with solving the satisfiability problem in propositional logic (SAT problem), satisfaction of problem-solving constraints (CSP) and their extensions (eg. optimization).

This work consists of developing theoretical tools and methods for solving combinatorial problems, highlighting tractable classes (polynomial fragments), designing efficient solvers and applying them to real-life problems.

The theoretical foundations are based on graph theory and complexity theory.
We develop 3 major axes:

development of theoretical tools and solving methods for SAT, CSP and their extensions to optimization
related issues and transfer to industrial applications
conception and realization of solvers

We coordinate the national ANR Demograph project since 2017 (http://www.lsis.org/demograph/).

The team publishes in the main journals specialized in Artificial Intelligence and Constraint Programming (Artificial Intelligence Jal, Constraints, Annals of Mathematics and Artificial Intelligence and SAT Journal) as well as in the major conferences of these domains (IJCAI, AAAI, CP and ECAI ). .

As an illustration, the ahmaxsat solver who won 3 gold medals at the 2014 Max-SAT World Competition and an multi-objective optimal maritime route (industrial application).

Legende 1. Performance of the ahmaxsat solver developed by COALA. This solver won 3 gold medals at the Max-SAT World Cup at FloC 2014 in Vienna. (FloC 2014 is to date the most important scientific event organized around logic, including mathematics and computer science)

Legende 2. Plot of an optimal trajectory (weather and fuel consumption) between Le Havre and New York obtained by a system developed with the team in the perspective of an industrial collaboration for the routing of cargo ships.

 

Scientific publications



documents