Cédric Piette

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 5

Top Topics

Constrained Problems

Predicate Logic

Boolean Optimization

Top Venues

Rev. d'Intelligence Artif.

Constraints An Int. J.

Publications

Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems. CoRR (2020)
Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel
and its ecosystem. Constraints An Int. J. 25 (1-2) (2020)
Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers, Cameron Browne
Ludii and XCSP: Playing and Solving Logic Puzzles. CoRR (2019)
Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers, Cameron Browne
Ludii and XCSP: Playing and Solving Logic Puzzles. CoG (2019)
Frédéric Boussemart, Christophe Lecoutre, Cédric Piette
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems. CoRR (2016)
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)
Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette
Solving E-Squaro through SAT-Coding. ICTAI (2013)
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Rev. d'Intelligence Artif. 26 (3) (2012)
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette
Revisiting Clause Exchange in Parallel SAT Solving. SAT (2012)
Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais
Deterministic Parallel DPLL. J. Satisf. Boolean Model. Comput. 7 (4) (2011)
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
MUS-based generation of arguments and counter-arguments. IRI (2010)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Does This Set of Clauses Overlap with at Least One MUS? CADE (2009)
Cédric Piette, Youssef Hamadi, Lakhdar Sais
Efficient Combination of Decision Procedures for MUS Computation. FroCoS (2009)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Using local search to find MSSes and MUSes. Eur. J. Oper. Res. 199 (3) (2009)
Cédric Piette
Let the Solver Deal with Redundancy. ICTAI (1) (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
On Finding Minimally Unsatisfiable Cores of CSPS. Int. J. Artif. Intell. Tools 17 (4) (2008)
Cédric Piette, Youssef Hamadi, Lakhdar Sais
Vivifying Propositional Clausal Formulae. ECAI (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. ICTAI (1) (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Extraction d'ensembles minimaux incohérents basée sur la recherche locale. Rev. d'Intelligence Artif. 22 (2) (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
MUST: Provide a Finer-Grained Explanation of Unsatisfiability. CP (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Local-search Extraction of MUSes. Constraints An Int. J. 12 (3) (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. IJCAI (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. IRI (2006)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Tracking MUSes and Strict Inconsistent Covers. FMCAD (2006)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Extracting MUSes. ECAI (2006)