Résolution du problème SALB3PM grâce à une approche SAT
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Matthieu Py : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04318082
Soumis le : vendredi 1 décembre 2023-14:34:54
Dernière modification le : mercredi 13 novembre 2024-03:18:11