Y. Pencolé, Travé-Massuyès, L., and Dague, P.,
“Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015)”,
CEUR Workshop Proceedings, vol. 1507. {Yannick Pencolé and Louise Travé-Massuyès and Philippe Dague}, Paris, France, p. 302, 2015.
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.
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.
C. Alec, Safar, B., Reynaud, C., Sellami, Z., and Berdugo, U.,
“Peuplement automatique d'ontologie à partir d'un catalogue de produits”, in
25èmes Journées francophones d'Ingénierie des Connaissances (IC), Clermont-Ferrant, France, 2014.