 | 2009 |
|---|
| 14 |       | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Does This Set of Clauses Overlap with at Least One MUS?
CADE 2009: 100-115 |
| 13 | | Cédric Piette,
Youssef Hamadi,
Lakhdar Sais:
Efficient Combination of Decision Procedures for MUS Computation.
FroCos 2009: 335-349 |
| 12 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Using local search to find MSSes and MUSes.
European Journal of Operational Research 199(3): 640-646 (2009) |
| 2008 |
|---|
| 11 | | Cédric Piette,
Youssef Hamadi,
Lakhdar Sais:
Vivifying Propositional Clausal Formulae.
ECAI 2008: 525-529 |
| 10 | | Cédric Piette:
Let the Solver Deal with Redundancy.
ICTAI (1) 2008: 67-73 |
| 9 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.
ICTAI (1) 2008: 74-83 |
| 8 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
On Finding Minimally Unsatisfiable Cores of CSPS.
International Journal on Artificial Intelligence Tools 17(4): 745-763 (2008) |
| 7 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Extraction d'ensembles minimaux incohérents basée sur la recherche locale.
Revue d'Intelligence Artificielle 22(2): 161-181 (2008) |
| 2007 |
|---|
| 6 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.
CP 2007: 317-331 |
| 5 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.
IJCAI 2007: 2300-2305 |
| 4 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Local-search Extraction of MUSes.
Constraints 12(3): 325-344 (2007) |
| 2006 |
|---|
| 3 |  | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Extracting MUSes.
ECAI 2006: 387-391 |
| 2 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Tracking MUSes and Strict Inconsistent Covers.
FMCAD 2006: 39-46 |
| 1 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette,
Lakhdar Sais:
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.
IRI 2006: 325-329 |
