Cédric Piette
Title
Cited by
Cited by
Year
Vivifying propositional clausal formulae
C Piette, Y Hamadi, L Sais
ECAI 2008, 525-529, 2008
802008
Local-search extraction of MUSes
É Grégoire, B Mazure, C Piette
Constraints 12 (3), 325-344, 2007
692007
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
622007
XCSP3: an integrated format for benchmarking combinatorial constrained problems
F Boussemart, C Lecoutre, G Audemard, C Piette
arXiv preprint arXiv:1611.03398, 2016
542016
Extracting muses
E Grégoire, B Mazure, C Piette
ECAI 6, 387-391, 2006
542006
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
532012
Using local search to find MSSes and MUSes
É Grégoire, B Mazure, C Piette
European Journal of Operational Research 199 (3), 640-646, 2009
482009
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
392008
Deterministic parallel DPLL
Y Hamadi, S Jabbour, C Piette, L Sais
Journal on Satisfiability, Boolean Modeling and Computation 7 (4), 127-132, 2011
352011
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
282010
Tracking MUSes and strict inconsistent covers
É Grégoire, B Mazure, C Piette
2006 Formal Methods in Computer Aided Design, 39-46, 2006
252006
MUST: Provide a finer-grained explanation of unsatisfiability
É Grégoire, B Mazure, C Piette
International Conference on Principles and Practice of Constraint …, 2007
242007
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
202008
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
152014
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
Let the solver deal with redundancy
C Piette
2008 20th IEEE International Conference on Tools with Artificial …, 2008
142008
Does this set of clauses overlap with at least one MUS?
É Grégoire, B Mazure, C Piette
International Conference on Automated Deduction, 100-115, 2009
122009
Dolius: A Distributed Parallel SAT Solving Framework.
G Audemard, B Hoessen, S Jabbour, C Piette
POS@ SAT, 1-11, 2014
112014
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs
É Grégoire, B Mazure, C Piette, L Sais
2006 IEEE International Conference on Information Reuse & Integration, 325-329, 2006
72006
The system can't perform the operation now. Try again later.
Articles 1–20