par Hoos, Holger H.;Stützle, Thomas
Editeur scientifique Gent, I.;Van Maaren, H.;Walsh, T.
Référence SAT’2000, (2000), IOS Press, 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.
Informations sur la publication:SAT’2000, (2000), IOS Press, page (43-86)
Statut de publication:Publié, 2000
Sujet CREF:Informatique mathématique
Note générale:slightly modified version of IJ.2
Langue:Anglais