par Hoos, Holger H.;Stützle, Thomas 
Editeur scientifique Gent, I.;Van Maaren, H.;Walsh, T.
Référence (2000), SAT’2000, IOS Press, page (43-86)
Publication Publié, 2000
Editeur scientifique Gent, I.;Van Maaren, H.;Walsh, T.
Référence (2000), SAT’2000, IOS Press, page (43-86)
Publication Publié, 2000
Publication dans des actes
| Titre: |
|
| Auteur: | Hoos, Holger H.; Stützle, Thomas |
| Editeur scientifique: | Gent, I.; Van Maaren, H.; Walsh, T. |
| Informations sur la publication: | (2000), SAT’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 |
