 | 2010 |
|---|
| 11 |       | Belaid Benhamou,
Tarek Nabhani,
Richard Ostrowski,
Mohamed Réda Saïdi:
Enhancing Clause Learning by Symmetry in SAT Solvers.
ICTAI (1) 2010: 329-335 |
| 2009 |
|---|
| 10 | | Richard Ostrowski,
Lionel Paris:
Detecting Boolean Functions for Proving Unsatisfiability.
ICTAI 2009: 409-416 |
| 9 | | Richard Ostrowski,
Lionel Paris:
From XSAT to SAT by Exhibiting Boolean Functions.
International Journal on Artificial Intelligence Tools 18(5): 783-799 (2009) |
| 2008 |
|---|
| 8 | | Richard Ostrowski,
Lionel Paris:
From XSAT to SAT by Exhibiting Equivalencies.
ICTAI (1) 2008: 84-91 |
| 2007 |
|---|
| 7 | | Lionel Paris,
Richard Ostrowski,
Pierre Siegel,
Lakhdar Sais:
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.
MICAI 2007: 105-117 |
| 2006 |
|---|
| 6 | | Lionel Paris,
Richard Ostrowski,
Pierre Siegel,
Lakhdar Sais:
Computing Horn Strong Backdoor Sets Thanks to Local Search.
ICTAI 2006: 139-143 |
| 2005 |
|---|
| 5 | | 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 | | Éric Grégoire,
Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais:
Automatic Extraction of Functional Dependencies.
SAT 2004 |
| 3 | | Éric Grégoire,
Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais:
Automatic Extraction of Functional Dependencies.
SAT (Selected Papers 2004: 122-132 |
| 2003 |
|---|
| 2 | | Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Eliminating Redundancies in SAT Search Trees.
ICTAI 2003: 100-104 |
| 2002 |
|---|
| 1 | | Richard Ostrowski,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Recovering and Exploiting Structural Knowledge from CNF Formulas.
CP 2002: 185-199 |
Data released under the ODC-BY 1.0 license — See also our legal information page