| Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008 | 90 | 2008 |
| XCSP3: an integrated format for benchmarking combinatorial constrained problems F Boussemart, C Lecoutre, G Audemard, C Piette arXiv preprint arXiv:1611.03398, 2016 | 74 | 2016 |
| Local-search extraction of MUSes É Grégoire, B Mazure, C Piette Constraints 12, 325-344, 2007 | 69 | 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 |
| Extracting muses E Gregoire, B Mazure, C Piette ECAI 6, 387-391, 2006 | 57 | 2006 |
| 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 | 55 | 2012 |
| 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 | 41 | 2008 |
| Deterministic parallel DPLL Y Hamadi, S Jabbour, C Piette, L Sais Journal on Satisfiability, Boolean Modeling and Computation 7 (4), 127-132, 2011 | 39 | 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 | 29 | 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 | 28 | 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 | 24 | 2008 |
| 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 |
| Xcsp3-core: A format for representing constraint satisfaction/optimization problems F Boussemart, C Lecoutre, G Audemard, C Piette arXiv preprint arXiv:2009.00514, 2020 | 18 | 2020 |
| Let the solver deal with redundancy C Piette 2008 20th IEEE International Conference on Tools with Artificial …, 2008 | 16 | 2008 |
| 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 | 15 | 2014 |
| 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 |
| Dolius: A Distributed Parallel SAT Solving Framework. G Audemard, B Hoessen, S Jabbour, C Piette POS@ SAT, 1-11, 2014 | 13 | 2014 |
| 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 | 12 | 2009 |
Bertrand MazureProfesseur des Universités, Université d'ArtoisVerified email at cril.univ-artois.fr
