Publications

Articles de conférences internationales

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),2014.

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, 2014.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe, a Parallel Clause-Freezer Solver in SAT Challenge 2012: Solver and Benchmarks Descriptions,pp. 43-44, 2012.

2012 Gilles Audemard, Benoît Hoessen, Said 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, vol. 7962, pp. 200-213, 2012.

Articles de conférences nationales

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

2012 Gilles Audemard, Benoît Hoessen, Said 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, 2012.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT: mieux collaborer pour aller plus loin in JFPC 2012,2012.

Rapports techniques

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