par Hoos, Holger H.; Stutzle, Thomas Liste de publications
Référence Journal of automated reasoning, 24, 4, (page 421-481)
Publication Publié, 2000
Article révisé par les pairs
Titre :
  • Local search algorithms for SAT: an empirical evaluation
Auteur : Hoos, Holger H. ; Stutzle, Thomas
Informations sur la publication : Journal of automated reasoning, 24, 4, (page 421-481)
Statut de publication : Publié, 2000
Sujet CREF : Informatique mathématique
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0168-7433 
info:doi/10.1023/A:1006350622830