Benoît Hoessen

According to our database, Benoît Hoessen authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Dolius: A Distributed Parallel SAT Solving Framework.

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette

Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

An Effective Distributed D&C Approach for the Satisfiability Problem.

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2012

Revisiting Clause Exchange in Parallel SAT Solving.

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012