par Hoos, Holger H.;Stützle, Thomas
Référence Lecture notes in computer science, 1701, page (289-293)
Publication Publié, 1999
Article révisé par les pairs
Titre:
  • Systematic vs. Local search for SAT
Auteur:Hoos, Holger H.; Stützle, Thomas
Informations sur la publication:Lecture notes in computer science, 1701, page (289-293)
Statut de publication:Publié, 1999
Sujet CREF:Informatique générale
Informatique mathématique
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:scp/33749552096