Publications

International conferences

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.

National conferences

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.

Technical reports

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