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 (283-292)
Publication Publié, 2000
Publication dans des actes
Titre:
  • SATLIB: An Online Resource for Research on SAT
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 (283-292)
Statut de publication:Publié, 2000
Sujet CREF:Informatique mathématique
Langue:Anglais