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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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