|
Search the dblp DataBase
Gilles Dequen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais
Using Boolean Constraint Propagation for Sub-clauses Deduction. [Citation Graph (0, 0)][DBLP] CP, 2005, pp:757-761 [Conf]
- Olivier Dubois, Gilles Dequen
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10. [Citation Graph (0, 0)][DBLP] CP, 2001, pp:108-120 [Conf]
- Olivier Dubois, Gilles Dequen
A backbone-search heuristic for efficient solving of hard 3-SAT formulae. [Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:248-253 [Conf]
- Gilles Dequen, Olivier Dubois
kcnfs: An Efficient Solver for Random k-SAT Formulae. [Citation Graph (0, 0)][DBLP] SAT, 2003, pp:486-501 [Conf]
- Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li
On Inconsistent Clause-Subsets for Max-SAT Solving. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:225-240 [Conf]
- Gilles Dequen, Laure Devendeville, E. Mouaddib
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design. [Citation Graph (0, 0)][DBLP] IbPRIA (2), 2007, pp:404-411 [Conf]
- Gilles Dequen, Olivier Dubois
An Efficient Approach to Solving Random k-satProblems. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:37, n:4, pp:261-276 [Journal]
A new Omnidirectional Stereovision Sensor. [Citation Graph (, )][DBLP]
Toward Easy Parallel SAT Solving. [Citation Graph (, )][DBLP]
On Multi-threaded Satisfiability Solving with OpenMP. [Citation Graph (, )][DBLP]
Search in 0.006secs, Finished in 0.007secs
|