Constraints-based Data Mining
Abdelhamid Boudane  13.09.18 
Reasoning from ontologies
Abdelmoutia Telli  13.05.18 Other
Parallel SAT solving
Nicolas Szczepanski  12.12.17 Artois, Région HdF
Qualitative DL-Lite logics
Khaoula Boutouhami  03.12.17 Other
Graphes et contraintes
Mouny Samy Modeliar  22.03.17 
Extensions of Tractable Classes for Propositional Satisfiability
Al-Saedi Mohammad Saleh Balasim  14.11.16 
Fusion de réseaux causaux possibilistes
Faiza Titouna  20.01.09 
Beyond NP
Jean-Marie Lagniez  11.12.19
Defeasible Description Logics
Ivan Varzinczak  26.11.19
Problem solving around SAT
Gilles Audemard  29.11.10
Reasoning & Inconsistency
Sébastien Konieczny  03.03.10
SAT and beyond - Models and Algorithms
Bertrand Mazure  29.01.10