Communication Dans Un Congrès
Année : 2020
Richard Ostrowski : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-02456248
Soumis le : lundi 27 janvier 2020-11:21:50
Dernière modification le : vendredi 22 mars 2024-18:24:04
Dates et versions
Identifiants
- HAL Id : hal-02456248 , version 1
Citer
Richard Ostrowski, Lionel Paris, Adrien Varet. Another Way to Browse the Search Space For Some Transformations from CSP to SAT. International Symposium on Artificial Intelligence and Mathematics, Jan 2020, Fort Lauderdale, United States. ⟨hal-02456248⟩
43
Consultations
3
Téléchargements