Follow
Cédric Piette
Title
Cited by
Cited by
Year
Vivifying propositional clausal formulae
C Piette, Y Hamadi, L Sais
ECAI 2008, 525-529, 2008
912008
XCSP3: an integrated format for benchmarking combinatorial constrained problems
F Boussemart, C Lecoutre, G Audemard, C Piette
arXiv preprint arXiv:1611.03398, 2016
772016
Local-search extraction of MUSes
É Grégoire, B Mazure, C Piette
Constraints 12, 325-344, 2007
702007
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.
E Grégoire, B Mazure, C Piette
IJCAI 7, 2300-2305, 2007
692007
Extracting muses
E Gregoire, B Mazure, C Piette
ECAI 6, 387-391, 2006
582006
Revisiting clause exchange in parallel SAT solving
G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette
International Conference on Theory and Applications of Satisfiability …, 2012
562012
Using local search to find MSSes and MUSes
É Grégoire, B Mazure, C Piette
European Journal of Operational Research 199 (3), 640-646, 2009
492009
On approaches to explaining infeasibility of sets of Boolean clauses
É Grégoire, B Mazure, C Piette
2008 20th IEEE International Conference on Tools with Artificial …, 2008
432008
Deterministic parallel DPLL
Y Hamadi, S Jabbour, C Piette, L Sais
Journal on Satisfiability, Boolean Modeling and Computation 7 (4), 127-132, 2011
392011
MUST: Provide a finer-grained explanation of unsatisfiability
É Grégoire, B Mazure, C Piette
Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007
302007
MUS-based generation of arguments and counter-arguments
P Besnard, É Grégoire, C Piette, B Raddaoui
2010 IEEE International Conference on Information Reuse & Integration, 239-244, 2010
292010
Tracking MUSes and strict inconsistent covers
E Gregoire, B Mazure, C Piette
2006 Formal Methods in Computer Aided Design, 39-46, 2006
272006
On finding minimally unsatisfiable cores of CSPs
E Grégoire, B Mazure, C Piette
International Journal on Artificial Intelligence Tools 17 (04), 745-763, 2008
262008
Xcsp3-core: A format for representing constraint satisfaction/optimization problems
F Boussemart, C Lecoutre, G Audemard, C Piette
arXiv preprint arXiv:2009.00514, 2020
232020
Penelope, a parallel clause-freezer solver
G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette
SAT Challenge 2012: Solver and Benchmarks Descriptions, 43-44, 2012
192012
An effective distributed d&c approach for the satisfiability problem
G Audemard, B Hoessen, S Jabbour, C Piette
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
162014
Let the solver deal with redundancy
C Piette
2008 20th IEEE International Conference on Tools with Artificial …, 2008
162008
Efficient combination of decision procedures for MUS computation
C Piette, Y Hamadi, L Saïs
International Symposium on Frontiers of Combining Systems, 335-349, 2009
152009
XCSP3 and its ecosystem
G Audemard, F Boussemart, C Lecoutre, C Piette, O Roussel
Constraints 25, 47-69, 2020
132020
Dolius: A Distributed Parallel SAT Solving Framework.
G Audemard, B Hoessen, S Jabbour, C Piette
POS@ SAT, 1-11, 2014
132014
The system can't perform the operation now. Try again later.
Articles 1–20