INRIA - Équipe MARS

About the team :

Videos and photos
Research reports
Theses

Theme : Sym
Symbolic systems

Lille - Nord Europe research center

Team Presentation

Joint team with CRIL (CNRS and University of Artois), located in Lens

The last ten years have seen remarkable breakthroughs in cross-research fields, involving the resolution of constraint satisfaction problems (CSP), propositional satisfiability (SAT) and its extensions, and AI planning. The size of combinatorial problems which can be solved through these techniques has often increased by several orders of magnitude and their fields of application increased manifold.

These three research domains and their cross-fertilization form the subject of the MARS project. The aim is to improve techniques at a conceptual level, incorporate them into innovative solver software (open source or proprietary software) and promote them through contractual activities.

Research themes

Constraint satisfaction (CSP)
Propositional satisfiability (SAT)
Artificial intelligence planning
Strengthening connections (Cross-fertilization, Collaborative problem solving, ...)

International and industrial relations

Industrial partners: Microsoft Research Cambridge (UK), RATP (France), Thales Research & Technology (France)
French and international projects: ANR blanc UNLOC , ANR jeunes chercheurs Planevo, PAI Ulysses (Ireland)
International scientific collaborations: NICTA Ltd (Australia), IRST -Trento (Italia), ICREA - University Pomeu Fabra (Spain), University of Glasgow (Scotland), INESC-ID (Portugal), 4C - Cork (Ireland), EPFL - Lausanne (Switzerland), NLSDE - Beijing (China), University of Singapore, University of Texas (USA), University of California - Sacramento (USA)

Software

SAT4J, ReVivAl , Abscon, CPT, YAHSP

Scientific leader

Lakhdar SAIS [homepage]
+33 3 21 79 17 77
Lakhdar.Sais@inria.fr
Secretary : +33 3 59 57 78 38

Team Address