par Hoos, Holger H.; Stutzle, Thomas Liste de publications
Editeur scientifique Gent, I.; Van Maaren, H.; Walsh, T.
Référence SAT’2000, (page 283-292)
Publication Publié, 2000
Publication dans des actes
Titre :
  • SATLIB: An Online Resource for Research on SAT
Auteur : Hoos, Holger H. ; Stutzle, 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 283-292
Langue :
  • Anglais