Renormalisation as a function of clause lengths for solving random k-SAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Renormalisation as a function of clause lengths for solving random k-SAT

Gilles Dequen
Fichier non déposé

Dates et versions

hal-01544226 , version 1 (21-06-2017)

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⟩
26 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More