| Revisiting clause exchange in parallel SAT solving G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette International Conference on Theory and Applications of Satisfiability …, 2012 | 60 | 2012 |
| Penelope, a parallel clause-freezer solver G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette SAT Challenge 2012: Solver and Benchmarks Descriptions, 43-44, 2012 | 19 | 2012 |
| An Effective Distributed D& C Approach for the Satisfiability Problem. G Audemard, B Hoessen, S Jabbour, C Piette Euromicro International Conference on Parallel, Distributed and Network …, 2014 | 16 | 2014 |
| Dolius: A Distributed Parallel SAT Solving Framework. G Audemard, B Hoessen, S Jabbour, C Piette POS@ SAT, 1-11, 2014 | 14 | 2014 |
| Penelope in sat competition 2014 G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette SAT COMPETITION, 58, 2014 | 6 | 2014 |
| Solving the Boolean satisfiability problem using the parallel paradigm B Hoessen Artois, 2014 | 1 | 2014 |
| Un nouveau cadre diviser pour régner pour SAT distribué G Audemard, B Hoessen, S Jabbour, C Piette 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 51-58, 2013 | | 2013 |
| Résolution parallèle de SAT: mieux collaborer pour aller plus loin G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette JFPC 2012, 2012 | | 2012 |
