The SATAS project started in 2016.
The project, founded by ANR, aims to advance the state of the art in massively parallel SAT solving with a particular eye to the applications driving progress in the field. The final goal of the project is to be able to provide a “pay as you go” interface to SAT solving services, with a particular focus on its power consumption. This project will extend the reach of SAT solving technologies, daily used in many critical and industrial applications, to new application areas, which were previously considered too hard, and lower the cost of deploying massively parallel SAT solvers on the cloud. Formally, the project is named "Projet ANR-15-CE40-0017" in the ANR naming convention.
Updated Dec. 2017
Co-developper of Glucose and specialists of High Performance Computing for pushing SAT solvers to new computer architectures (many, many cores, one memory)Go to LaBRI
Specialists for the Cloud, with a particular focus on power-aware Cloud deployement, for a new generation of energy efficient SAT solversGo to Spirals
A top A.I. lab in France, with SAT specialists (Glucose, SAT4J, ...), for designing the next generation of distributed SAT solvers, with some application driven goals on the cloud.Go to the CRIL
L. Simon (Coordinator, Labri), A. Denis (Inria, Bordeaux), R. Fossé (Funded PhD Student, Bordeaux), G. Audemard (CRIL Coordinator), D. Le Berre (CRIL), M. Samy Modeliar (CRIL), C. Piette (CRIL), J.-M. Lagniez (CRIL), J. Lonlac (Funded Post-Doc, CRIL), P. Merle (INRIA Lille Coordinator, SPirals), R. Rouvoy (Spirals), L. Seinturier (Spirals), G. Katsirelos (INRA Toulouse)