Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ?
Résumé
Non disponible
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Yves Deville : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00390919
Soumis le : mercredi 3 juin 2009-09:05:36
Dernière modification le : samedi 10 février 2024-03:07:54
Archivage à long terme le : lundi 15 octobre 2012-11:41:02