2008 |
11 | EE | Cédric Piette,
Youssef Hamadi,
Lakhdar Sais:
Vivifying Propositional Clausal Formulae.
ECAI 2008: 525-529 |
10 | EE | Cédric Piette:
Let the Solver Deal with Redundancy.
ICTAI (1) 2008: 67-73 |
9 | EE | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.
ICTAI (1) 2008: 74-83 |
8 | EE | É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 | EE | É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 | EE | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.
CP 2007: 317-331 |
5 | EE | É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 | EE | É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 | EE | É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 |