Cédric Piette

28 papers A* 1A 5B 3C 2Misc 2Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2024 B conf
An incremental approach for the detection of legend text in digital maps.
IEEE Big Data
Arthur Marzinkowski, Salem Benferhat, Anastasia Paparrizou, Cédric Piette
2023 — conf
On Object Detection Based on Similarity Measures from Digital Maps.
IntelliSys (3)
Arthur Marzinkowski, Salem Benferhat, Anastasia Paparrizou, Cédric Piette
2020 J jnl
XCSP
Constraints An Int. J.
Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel
2020 J jnl
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems.
CoRR
Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette
2019 C conf
Ludii and XCSP: Playing and Solving Logic Puzzles.
CoG
Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers, Cameron Browne
2019 J jnl
Ludii and XCSP: Playing and Solving Logic Puzzles.
CoRR
Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers, Cameron Browne
2016 J jnl
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.
CoRR
Frédéric Boussemart, Christophe Lecoutre, Cédric Piette
2014 C conf
An Effective Distributed D&C Approach for the Satisfiability Problem.
PDP
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
2014 — conf
Dolius: A Distributed Parallel SAT Solving Framework.
POS@SAT
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
2013 B conf
Solving E-Squaro through SAT-Coding.
ICTAI
Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette
2012 J jnl
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.
Rev. d'Intelligence Artif.
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
2012 A conf
Revisiting Clause Exchange in Parallel SAT Solving.
SAT
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette
2011 J jnl
Deterministic Parallel DPLL.
J. Satisf. Boolean Model. Comput.
Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais
2010 Misc conf
MUS-based generation of arguments and counter-arguments.
IRI
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
2009 A conf
Does This Set of Clauses Overlap with at Least One MUS?
CADE
Éric Grégoire, Bertrand Mazure, Cédric Piette
2009 — conf
Efficient Combination of Decision Procedures for MUS Computation.
FroCoS
Cédric Piette, Youssef Hamadi, Lakhdar Sais
2009 J jnl
Using local search to find MSSes and MUSes.
Eur. J. Oper. Res.
Éric Grégoire, Bertrand Mazure, Cédric Piette
2008 J jnl
Extraction d'ensembles minimaux incohérents basée sur la recherche locale.
Rev. d'Intelligence Artif.
Éric Grégoire, Bertrand Mazure, Cédric Piette
2008 — conf
Let the Solver Deal with Redundancy.
ICTAI (1)
Cédric Piette
2008 — conf
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.
ICTAI (1)
Éric Grégoire, Bertrand Mazure, Cédric Piette
2008 J jnl
On Finding Minimally Unsatisfiable Cores of CSPS.
Int. J. Artif. Intell. Tools
Éric Grégoire, Bertrand Mazure, Cédric Piette
2008 A conf
Vivifying Propositional Clausal Formulae.
ECAI
Cédric Piette, Youssef Hamadi, Lakhdar Sais
2007 A* conf
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.
IJCAI
Éric Grégoire, Bertrand Mazure, Cédric Piette
2007 J jnl
Local-search Extraction of MUSes.
Constraints An Int. J.
Éric Grégoire, Bertrand Mazure, Cédric Piette
2007 A conf
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.
CP
Éric Grégoire, Bertrand Mazure, Cédric Piette
2006 Misc conf
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.
IRI
Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais
2006 A conf
Extracting MUSes.
ECAI
Éric Grégoire, Bertrand Mazure, Cédric Piette
2006 B conf
Tracking MUSes and Strict Inconsistent Covers.
FMCAD
Éric Grégoire, Bertrand Mazure, Cédric Piette