| Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008 | 97 | 2008 |
| XCSP3: an integrated format for benchmarking combinatorial constrained problems F Boussemart, C Lecoutre, G Audemard, C Piette arXiv preprint arXiv:1611.03398, 2016 | 76 | 2016 |
| Local-search extraction of MUSes É Grégoire, B Mazure, C Piette Constraints 12, 325-344, 2007 | 71 | 2007 |
| 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 | 68 | 2007 |
| 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 | 60 | 2012 |
| Extracting muses E Gregoire, B Mazure, C Piette ECAI 6, 387-391, 2006 | 60 | 2006 |
| Using local search to find MSSes and MUSes É Grégoire, B Mazure, C Piette European Journal of Operational Research 199 (3), 640-646, 2009 | 49 | 2009 |
| 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 | 43 | 2008 |
| Deterministic parallel DPLL Y Hamadi, S Jabbour, C Piette, L Sais Journal on Satisfiability, Boolean Modeling and Computation 7 (4), 127-132, 2011 | 40 | 2011 |
| 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 | 30 | 2010 |
| MUST: Provide a finer-grained explanation of unsatisfiability É Grégoire, B Mazure, C Piette Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007 | 29 | 2007 |
| Tracking MUSes and strict inconsistent covers E Gregoire, B Mazure, C Piette 2006 Formal Methods in Computer Aided Design, 39-46, 2006 | 27 | 2006 |
| 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 | 25 | 2008 |
| Xcsp3-core: A format for representing constraint satisfaction/optimization problems F Boussemart, C Lecoutre, G Audemard, C Piette arXiv preprint arXiv:2009.00514, 2020 | 24 | 2020 |
| 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 | 19 | 2012 |
| 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 | 16 | 2014 |
| Let the solver deal with redundancy C Piette 2008 20th IEEE International Conference on Tools with Artificial …, 2008 | 16 | 2008 |
| XCSP3 and its ecosystem G Audemard, F Boussemart, C Lecoutre, C Piette, O Roussel Constraints 25, 47-69, 2020 | 15 | 2020 |
| Ludii and XCSP: playing and solving logic puzzles C Piette, E Piette, M Stephenson, DJNJ Soemers, C Browne 2019 IEEE Conference on Games (CoG), 1-4, 2019 | 15 | 2019 |
| 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 | 15 | 2009 |
Bertrand MazureProfesseur des Universités, Université d'ArtoisVerified email at cril.univ-artois.fr
