Extracting MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (ECAI, 2006)

Tracking MUSes and Strict Inconsistent Covers. - Éric Grégoire; Bertrand Mazure; Cédric Piette (FMCAD, 2006)

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. - Éric Grégoire; Bertrand Mazure; Cédric Piette; Lakhdar Sais (IRI, 2006)

MUST: Provide a Finer-Grained Explanation of Unsatisfiability. - Éric Grégoire; Bertrand Mazure; Cédric Piette (CP, 2007)

Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. - Éric Grégoire; Bertrand Mazure; Cédric Piette (IJCAI, 2007)

Local-search Extraction of MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Constraints An Int. J., 2007)

Vivifying Propositional Clausal Formulae. - Cédric Piette; Youssef Hamadi; Lakhdar Sais (ECAI, 2008)

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. - Éric Grégoire; Bertrand Mazure; Cédric Piette (ICTAI (1), 2008)

Let the Solver Deal with Redundancy. - Cédric Piette (ICTAI (1), 2008)

On Finding Minimally Unsatisfiable Cores of CSPS. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Int. J. Artif. Intell. Tools, 2008)

Extraction d'ensembles minimaux incohérents basée sur la recherche locale. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Rev. d'Intelligence Artif., 2008)

Does This Set of Clauses Overlap with at Least One MUS? - Éric Grégoire; Bertrand Mazure; Cédric Piette (CADE, 2009)

Efficient Combination of Decision Procedures for MUS Computation. - Cédric Piette; Youssef Hamadi; Lakhdar Sais (FroCoS, 2009)

Using local search to find MSSes and MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Eur. J. Oper. Res., 2009)

MUS-based generation of arguments and counter-arguments. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (IRI, 2010)

Deterministic Parallel DPLL. - Youssef Hamadi; Saïd Jabbour; Cédric Piette; Lakhdar Sais (J. Satisf. Boolean Model. Comput., 2011)

Revisiting Clause Exchange in Parallel SAT Solving. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Jean-Marie Lagniez; Cédric Piette (SAT, 2012)

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (Rev. d'Intelligence Artif., 2012)

Solving E-Squaro through SAT-Coding. - Éric Grégoire; Atef Hasni; Bertrand Mazure; Cédric Piette (ICTAI, 2013)

An Effective Distributed D&C Approach for the Satisfiability Problem. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Cédric Piette (PDP, 2014)

Dolius: A Distributed Parallel SAT Solving Framework. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Cédric Piette (POS@SAT, 2014)

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems. - Frédéric Boussemart; Christophe Lecoutre; Cédric Piette (CoRR, 2016)

Ludii and XCSP: Playing and Solving Logic Puzzles. - Cédric Piette; Éric Piette; Matthew Stephenson; Dennis J. N. J. Soemers; Cameron Browne (CoG, 2019)

XCSP3 and its ecosystem. - Gilles Audemard; Frédéric Boussemart; Christophe Lecoutre; Cédric Piette; Olivier Roussel (Constraints An Int. J., 2020)

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems. - Frédéric Boussemart; Christophe Lecoutre; Gilles Audemard; Cédric Piette (CoRR, 2020)

On Object Detection Based on Similarity Measures from Digital Maps. - Arthur Marzinkowski; Salem Benferhat; Anastasia Paparrizou; Cédric Piette (IntelliSys (3), 2023)

An incremental approach for the detection of legend text in digital maps. - Arthur Marzinkowski; Salem Benferhat; Anastasia Paparrizou; Cédric Piette (IEEE Big Data, 2024)