2008 |
9 | EE | Pascal Vander-Swalmen,
Gilles Dequen,
Michaël Krajecki:
On Multi-threaded Satisfiability Solving with OpenMP.
IWOMP 2008: 146-157 |
2007 |
8 | EE | Sylvain Darras,
Gilles Dequen,
Laure Devendeville,
Chu Min Li:
On Inconsistent Clause-Subsets for Max-SAT Solving.
CP 2007: 225-240 |
7 | EE | El Mustapha Mouaddib,
Gilles Dequen,
Laure Devendeville:
A new Omnidirectional Stereovision Sensor.
ICCV 2007: 1-6 |
6 | EE | Gilles Dequen,
Laure Devendeville,
E. Mouaddib:
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design.
IbPRIA (2) 2007: 404-411 |
2006 |
5 | EE | Gilles Dequen,
Olivier Dubois:
An Efficient Approach to Solving Random k-satProblems.
J. Autom. Reasoning 37(4): 261-276 (2006) |
2005 |
4 | 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 |
2003 |
3 | EE | Gilles Dequen,
Olivier Dubois:
kcnfs: An Efficient Solver for Random k-SAT Formulae.
SAT 2003: 486-501 |
2001 |
2 | EE | Olivier Dubois,
Gilles Dequen:
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10.
CP 2001: 108-120 |
1 | | Olivier Dubois,
Gilles Dequen:
A backbone-search heuristic for efficient solving of hard 3-SAT formulae.
IJCAI 2001: 248-253 |