Benoît Hoessen
Benoît Hoessen
CRIL - CNRS UMR 8188
Verified email at cril.fr - Homepage
Title
Cited by
Cited by
Year
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
532012
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
192012
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
152014
Dolius: A Distributed Parallel SAT Solving Framework.
G Audemard, B Hoessen, S Jabbour, C Piette
POS@ SAT, 1-11, 2014
112014
Penelope in sat competition 2014
G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette
SAT COMPETITION, 58, 2014
62014
Solving the Boolean satisfiability problem using the parallel paradigm
B Hoessen
Artois, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–8