Communication Dans Un Congrès
Année : 2002
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01544226
Soumis le : mercredi 21 juin 2017-14:56:39
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01544226 , version 1
Citer
Olivier Dubois, Gilles Dequen. Renormalisation as a function of clause lengths for solving random k-SAT. SAT 2002 - Fifth International Symposium on the Theory and Applications of Satisfiability Testing, May 2002, Cincinnati, Ohio, United States. pp.120-132. ⟨hal-01544226⟩
Collections
29
Consultations
0
Téléchargements