par Hoos, Holger H.; Stützle, Thomas Liste de publications
Editeur scientifique Gent, I.; Van Maaren, H.; Walsh, T.
Référence SAT’2000, (page 43-86)
Publication Publié, 2000
Publication dans des actes
Titre :
  • Local Search Algorithms for SAT: An Empirical Evaluation
Auteur : Hoos, Holger H. ; Stützle, Thomas
Editeur scientifique : Gent, I. ; Van Maaren, H. ; Walsh, T.
Statut de publication : Publié, 2000
Sujet CREF : Informatique mathématique
Informations sur la publication :
  • Gent, I. ; Van Maaren, H. ; Walsh, T., SAT’2000, (2000), IOS Press, page 43-86
Note : slightly modified version of IJ.2
Langue :
  • Anglais