- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c28 |      | |
| 2011 | ||
| c27 | | Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure: A CSP Solver Focusing on fac Variables. CP 2011: 493-507 |
| c26 | | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: On Freezing and Reactivating Learnt Clauses. SAT 2011: 188-200 |
| 2010 | ||
| c25 | | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) 2010: 474-488 |
| 2009 | ||
| j7 | | É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) |
| c24 | | Éric Grégoire, Bertrand Mazure, Cédric Piette: Does This Set of Clauses Overlap with at Least One MUS? CADE 2009: 100-115 |
| c23 | | Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Local Autarkies Searching for the Dynamic Partition of CNF Formulae. ICTAI 2009: 107-114 |
| c22 | | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: Learning in Local Search. ICTAI 2009: 417-424 |
| c21 | | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: Integrating Conflict Driven Clause Learning to Local Search. LSCS 2009: 55-68 |
| 2008 | ||
| j6 | | É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) |
| j5 | | É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) |
| c20 | | Éric Grégoire, Bertrand Mazure, Cédric Piette: On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. ICTAI (1) 2008: 74-83 |
| 2007 | ||
| j4 | | Éric Grégoire, Bertrand Mazure, Cédric Piette: Local-search Extraction of MUSes. Constraints 12(3): 325-344 (2007) |
| c19 | | Éric Grégoire, Bertrand Mazure, Cédric Piette: MUST: Provide a Finer-Grained Explanation of Unsatisfiability. CP 2007: 317-331 |
| c18 | | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Eliminating Redundant Clauses in SAT Instances. CPAIOR 2007: 71-83 |
| c17 | | É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 |
| c16 | | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Reducing hard SAT instances to polynomial ones. IRI 2007: 18-23 |
| 2006 | ||
| c15 |  | |
| c14 | | Éric Grégoire, Bertrand Mazure, Cédric Piette: Tracking MUSes and Strict Inconsistent Covers. FMCAD 2006: 39-46 |
| c13 | | É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 |
| 2005 | ||
| c12 | | Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais: Using Boolean Constraint Propagation for Sub-clauses Deduction. CP 2005: 757-761 |
| 2004 | ||
| c11 | | Gilles Audemard, Bertrand Mazure, Lakhdar Sais: Dealing with Symmetries in Quantified Boolean Formulas. SAT 2004 |
| c10 | | Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais: Automatic Extraction of Functional Dependencies. SAT 2004 |
| c9 | | Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais: Automatic Extraction of Functional Dependencies. SAT (Selected Papers 2004: 122-132 |
| 2003 | ||
| c8 | | Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Eliminating Redundancies in SAT Search Trees. ICTAI 2003: 100-104 |
| 2002 | ||
| j3 | | Éric Grégoire, Bertrand Mazure: About the incremental validation of first-order stratified knowledge-based decision-support systems. Inf. Sci. 142(1-4): 117-129 (2002) |
| c7 | | Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. AIMSA 2002: 51-60 |
| c6 | | Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Recovering and Exploiting Structural Knowledge from CNF Formulas. CP 2002: 185-199 |
| 1998 | ||
| j2 | | Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Boosting Complete Techniques Thanks to Local Search Methods. Ann. Math. Artif. Intell. 22(3-4): 319-331 (1998) |
| c5 | | Bertrand Mazure, Lakhdar Sais, Éric Grégoire: System Description: CRIL Platform for SAT. CADE 1998: 124-128 |
| 1997 | ||
| j1 | | Bertrand Mazure, Lakhdar Sais, Éric Grégoire: An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. Int. J. Cooperative Inf. Syst. 6(1): 27-36 (1997) |
| c4 | | |
| c3 | | Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. ECSQARU-FAPR 1997: 122-130 |
| c2 | | Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Local Search for Computing Normal Circumstances Models. Fuzzy Days 1997: 565-566 |
| c1 | | Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais: Tractable Cover Compilations. IJCAI (1) 1997: 122-127 |
Data released under the ODC-BY 1.0 license — See also our legal information page