F. Hamdi, Safar, B., Zargayouna, H. I., and Reynaud, C.,
“Partitionnement d'ontologies pour le passage à l'échelle des techniques d'alignement”, in
Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC), Strasbourg France, 2009, pp. 409-420.
G. Audemard, Modeliar, M. Samy, and Simon, L.,
“Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?”, in
Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans, France, 2009, pp. 245-255.
G. Audemard and Simon, L.,
“Predicting Learnt Clauses Quality in Modern SAT Solver”, in
Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, États-Unis d'Amérique, 2009.