| 2008 |
|---|
| 8 | EE | Richard Ostrowski,
Lionel Paris:
From XSAT to SAT by Exhibiting Equivalencies.
ICTAI (1) 2008: 84-91 |
| 2007 |
|---|
| 7 | EE | Lionel Paris,
Richard Ostrowski,
Pierre Siegel,
Lakhdar Sais:
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.
MICAI 2007: 105-117 |
| 2006 |
|---|
| 6 | EE | Lionel Paris,
Richard Ostrowski,
Pierre Siegel,
Lakhdar Sais:
Computing Horn Strong Backdoor Sets Thanks to Local Search.
ICTAI 2006: 139-143 |
| 2005 |
|---|
| 5 | EE | 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 |
|---|
| 4 | EE | Éric Grégoire,
Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais:
Automatic Extraction of Functional Dependencies.
SAT 2004 |
| 3 | EE | Éric Grégoire,
Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais:
Automatic Extraction of Functional Dependencies.
SAT (Selected Papers 2004: 122-132 |
| 2003 |
|---|
| 2 | EE | Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Eliminating Redundancies in SAT Search Trees.
ICTAI 2003: 100-104 |
| 2002 |
|---|
| 1 | EE | Richard Ostrowski,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Recovering and Exploiting Structural Knowledge from CNF Formulas.
CP 2002: 185-199 |
