 | 2008 |
|---|
| 5 |       | Richard Ostrowski,
Lionel Paris:
From XSAT to SAT by Exhibiting Equivalencies.
ICTAI (1) 2008: 84-91 |
| 2007 |
|---|
| 4 | | Djamal Habet,
Lionel Paris,
Belaid Benhamou:
Consistent Neighborhood for the Satisfiability Problem.
ICTAI (2) 2007: 497-501 |
| 3 | | Lionel Paris,
Richard Ostrowski,
Pierre Siegel,
Lakhdar Sais:
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.
MICAI 2007: 105-117 |
| 2006 |
|---|
| 2 | | Lionel Paris,
Belaid Benhamou,
Pierre Siegel:
A Boolean Encoding Including SAT and n-ary CSPs.
AIMSA 2006: 33-44 |
| 1 | | Lionel Paris,
Richard Ostrowski,
Pierre Siegel,
Lakhdar Sais:
Computing Horn Strong Backdoor Sets Thanks to Local Search.
ICTAI 2006: 139-143 |
