| 2014 | PDP | An Effective Distributed D&C Approach for the Satisfiability Problem. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Cdric Piette |
| 2014 | SAT | Dolius: A Distributed Parallel SAT Solving Framework. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Cdric Piette |
| 2013 | ICTAI | Solving E-Squaro through SAT-Coding. | ric Grgoire, Atef Hasni, Bertrand Mazure, Cdric Piette |
| 2012 | SAT | Revisiting Clause Exchange in Parallel SAT Solving. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Jean-Marie Lagniez, Cdric Piette |
| 2010 | IRI | MUS-based generation of arguments and counter-arguments. | Philippe Besnard, ric Grgoire, Cdric Piette, Badran Raddaoui |
| 2009 | CADE | Does This Set of Clauses Overlap with at Least One MUS? | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2008 | ECAI | Vivifying Propositional Clausal Formulae. | Cdric Piette, Youssef Hamadi, Lakhdar Sais |
| 2008 | ICTAI | On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2008 | ICTAI | Let the Solver Deal with Redundancy. | Cdric Piette |
| 2007 | CP | MUST: Provide a Finer-Grained Explanation of Unsatisfiability. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | IJCAI | Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | ECAI | Extracting MUSes. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | FMCAD | Tracking MUSes and Strict Inconsistent Covers. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | IRI | A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. | ric Grgoire, Bertrand Mazure, Cdric Piette, Lakhdar Sais |