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