Feuilleter par Auteur : Aldeghi, Florian
Resultats 1 à 1 de 1
Titre | Auteur | Année | (Co)Promoteur(s) | |
---|---|---|---|---|
Modeling and Solving Problems Using Propositional Logic and SAT Solvers | Aldeghi, Florian | 2023 | Fontaine, Pascal |
Titre | Auteur | Année | (Co)Promoteur(s) | |
---|---|---|---|---|
Modeling and Solving Problems Using Propositional Logic and SAT Solvers | Aldeghi, Florian | 2023 | Fontaine, Pascal |