| 2007 |
|---|
| 4 | EE | Sylvain Darras,
Gilles Dequen,
Laure Devendeville,
Chu Min Li:
On Inconsistent Clause-Subsets for Max-SAT Solving.
CP 2007: 225-240 |
| 3 | EE | Gilles Dequen,
Laure Devendeville,
E. Mouaddib:
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design.
IbPRIA (2) 2007: 404-411 |
| 2005 |
|---|
| 2 | 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 |
| 2002 |
|---|
| 1 | EE | Djamal Habet,
Chu Min Li,
Laure Devendeville,
Michel Vasquez:
A Hybrid Approach for SAT.
CP 2002: 172-184 |
