Conference Papers
Year : 2002
Lip6 Publications : Connect in order to contact the contributor
https://hal.science/hal-01544226
Submitted on : Wednesday, June 21, 2017-2:56:39 PM
Last modification on : Tuesday, April 11, 2023-3:16:28 PM
Dates and versions
Identifiers
- HAL Id : hal-01544226 , version 1
Cite
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
26
View
0
Download