Communication Dans Un Congrès
Année : 2016
Okina Univ Angers : Connectez-vous pour contacter le contributeur
https://univ-angers.hal.science/hal-02709511
Soumis le : lundi 1 juin 2020-16:53:39
Dernière modification le : vendredi 5 janvier 2024-03:24:15
Citer
Nicolás Gálvez Ramírez, Youssef Hamadi, Eric Monfroy, Frédéric Saubion. Evolving SMT Strategies. 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States. ⟨hal-02709511⟩
Collections
26
Consultations
0
Téléchargements