Hoessen Benoît

Publications

• Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, « PeneLoPe in SAT Competition 2014 », in Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Helsinki, may 2014. [PDF]
• Gilles Audemard, Benoît Hoessen, Said Jabbour, Cédric Piette, « Dolius: A Distributed Parallel SAT Solving Framework », in Pragmatics of SAT 2014 (POS'2014), Vienna, july 2014. [PDF]
• Gilles Audemard, Benoît Hoessen, Said 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, Turin, february 2014. [PDF]
• Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, « PeneLoPe in SAT Competition 2013 », in Technical report, Helsinki, may 2013. [PDF]
• Gilles Audemard, Benoît Hoessen, Said 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), june 2013. [PDF]
• Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, « Revisiting Clause Exchange in Parallel SAT Solving », in Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'12), june 2012. [PDF]
• Gilles Audemard, Benoît Hoessen, Said 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, may 2012 [PDF]
• 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 8èmes Journées Francophones de Programmation par Contraintes (JFPC'12), may 2012. [PDF]

Logiciels

• PeneLope, a parallel SAT solver using PSM and LBD (awarded in the SAT Competition 2014, SAT Competition 2013, and SAT Challenge 2012)
• Dolius, a distributed parallel SAT solving framework
• Saturnin, a SAT solver developped from scratch

Enseignement

2014-2015 (faculté des sciences Jean Perrin à Lens):

• Programmation 4
  L3 Math-Info:30 heures TD et 10 heures TP
• Programmation 3
  L2 Math-Info: 24 heures TP
• Culture numérique
  L1 Math-Info + L1 Sciences de la Vie:20 heures TD et 28 heures TP

2013-2014 (institut universitaire de Lens, département informatique):

• Programmation orientée objet
  DUT 2: 24 heures TD et 24 heures TP
• Conception de documents et d'interfaces numériques
  DUT 1: 8 heures TD et 5 heures TP

2012-2013 (institut universitaire de Lens, département informatique):

• Analyse et conception des systèmes informatiques
  DUT 1: 24 heures TD
• Base de données
  DUT 1: 24 heures TP
• Systèmes d'exploitation
  DUT 1: 18 heures TP

2011-2012 (institut universitaire de Lens, département informatique):

• Analyse et conception des systèmes informatiques
  DUT 1: 24 heures TD
• Programmation web
  DUT 1: 12 heures TP
• Analyse et conception des systèmes informatiques et bases de données
  DUT 1: 12 heures TP
• Réseaux
  DUT 1: 18 heures TP