Searching for authors named "Gilles Dequen" – sorted by Relevance.
-
Renormalization as a Function of Clause Lengths for Solving Random k-SAT formulae.
- and Gilles Dequen LIP6, CNRS-Universite Paris 6, 4 place Jussieu, 75252 Paris cedex 05, France. La
- Cited by 2 (0 self) – Add To MetaCart
-
A backbone-search heuristic for efficient solving of hard 3-SAT formulae
- and Gilles Dequen z y LIP6, C.N.R.S.-Universite Paris 6, 4 place Jussieu, 75252 Paris cedex 05, France. z
- Cited by 44 (0 self) – Add To MetaCart

