Benoît Hoessen

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Propositional Logic

Boolean Optimization

Top Venues

Publications

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
An Effective Distributed D&C Approach for the Satisfiability Problem. PDP (2014)
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
Dolius: A Distributed Parallel SAT Solving Framework. POS@SAT (2014)
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette
Revisiting Clause Exchange in Parallel SAT Solving. SAT (2012)