| Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008 | 99 | 2008 |
| XCSP3: an integrated format for benchmarking combinatorial constrained problems F Boussemart, C Lecoutre, G Audemard, C Piette arXiv preprint arXiv:1611.03398, 2016 | 79 | 2016 |
| 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 | 70 | 2007 |
| Local-search extraction of MUSes É Grégoire, B Mazure, C Piette Constraints 12, 325-344, 2007 | 69 | 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 | 62 | 2012 |
| Extracting muses E Gregoire, B Mazure, C Piette ECAI 2006, 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 | 50 | 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 | 44 | 2008 |
| Deterministic parallel dpll: System description Y Hamadi, S Jabbour, C Piette, L Sais Journal on Satisfiability, Boolean Modelling and Computation 7 (4), 127-132, 2011 | 41 | 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 | 31 | 2010 |
| MUST: Provide a finer-grained explanation of unsatisfiability É Grégoire, B Mazure, C Piette Principles and Practice of Constraint ProgrammingCP 2007: 13th
, 2007 | 30 | 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 | 26 | 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 | 25 | 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 |
| 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 | 17 | 2019 |
| Dolius: A Distributed Parallel SAT Solving Framework. G Audemard, B Hoessen, S Jabbour, C Piette POS@ SAT, 1-11, 2014 | 17 | 2014 |
| Let the solver deal with redundancy C Piette 2008 20th IEEE International Conference on Tools with Artificial
, 2008 | 17 | 2008 |
| XCSP3 and its ecosystem G Audemard, F Boussemart, C Lecoutre, C Piette, O Roussel Constraints 25, 47-69, 2020 | 16 | 2020 |
| 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 |
Bertrand MazureProfesseur des Universités, Université d'ArtoisPatvirtintas el. paštas cril.univ-artois.fr
