Publications

Articles de conférences internationales

2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, An Effective Distributed D&C Approach for the Satisfiability Problem in 22nd International Conference on Parallel, Distributed and Network-Based Computing (PDP’14),pp. 183-187, février 2014.

2012 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, Revisiting Clause Exchange in Parallel SAT Solving in 15th International Conference on Theory and Applications of Satisfiability Testing (SAT’12),Springer, Lecture Notes in Computer Science(LNCS), vol. 7962, pp. 200–213, mai 2012.

2012 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe, a Parallel Clause-Freezer Solver in Proceedings of SAT Challenge 2012: Solver and Benchmarks Descriptions,pp. 43–44, mai 2012. (https://helda.helsinki.fi/handle/10138/34218)

Articles de workshops internationaux

2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, Dolius: A Distributed Parallel SAT Solving Framework in Pragmatics of SAT 2014 (POS’14),juillet 2014.

Articles de conférences nationales

2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, Un nouveau cadre diviser pour régner pour SAT distribué in 9èmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 51-58, 2013. [Download]

2012 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT : mieux collaborer pour aller plus loin in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 35–44, mai 2012.

Rapports techniques

2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 Helsinki, mai 2013. [Download]