Cédric Piette

According to our database, Cédric Piette authored at least 26 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On Object Detection Based on Similarity Measures from Digital Maps.

Arthur Marzinkowski, Salem Benferhat, Anastasia Paparrizou, Cédric Piette

Proceedings of the Intelligent Systems and Applications, 2023

2020

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems.

Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette

CoRR, 2020

XCSP³ and its ecosystem.

Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel

Constraints An Int. J., 2020

2019

Ludii and XCSP: Playing and Solving Logic Puzzles.

Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers, Cameron Browne

Proceedings of the IEEE Conference on Games, 2019

2016

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.

Frédéric Boussemart, Christophe Lecoutre, Cédric Piette

CoRR, 2016

2014

Dolius: A Distributed Parallel SAT Solving Framework.

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette

Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

An Effective Distributed D&C Approach for the Satisfiability Problem.

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Solving E-Squaro through SAT-Coding.

Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

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

Revisiting Clause Exchange in Parallel SAT Solving.

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Deterministic Parallel DPLL.

Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais

J. Satisf. Boolean Model. Comput., 2011

2010

MUS-based generation of arguments and counter-arguments.

Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

2009

Using local search to find MSSes and MUSes.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Eur. J. Oper. Res., 2009

Efficient Combination of Decision Procedures for MUS Computation.

Cédric Piette, Youssef Hamadi, Lakhdar Sais

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Does This Set of Clauses Overlap with at Least One MUS?

Éric Grégoire, Bertrand Mazure, Cédric Piette

Proceedings of the Automated Deduction, 2009

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

On Finding Minimally Unsatisfiable Cores of CSPS.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Int. J. Artif. Intell. Tools, 2008

Let the Solver Deal with Redundancy.

Cédric Piette

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Vivifying Propositional Clausal Formulae.

Cédric Piette, Youssef Hamadi, Lakhdar Sais

Proceedings of the ECAI 2008, 2008

2007

Local-search Extraction of MUSes.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Constraints An Int. J., 2007

Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Proceedings of the IJCAI 2007, 2007

MUST: Provide a Finer-Grained Explanation of Unsatisfiability.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.

Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Tracking MUSes and Strict Inconsistent Covers.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Extracting MUSes.

Éric Grégoire, Bertrand Mazure, Cédric Piette

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006