Communication Dans Un Congrès
Année : 2018
Okina Univ Angers : Connectez-vous pour contacter le contributeur
https://univ-angers.hal.science/hal-02715061
Soumis le : lundi 1 juin 2020-19:56:45
Dernière modification le : mardi 27 août 2024-12:51:59
Citer
Nicolas Galvez Ramirez, Eric Monfroy, Frédéric Saubion, Carlos Castro. Generation and Optimization of SMT Strategies. Workshop on Optimization and Learning: Challenges and Applications - OLA, 2018, Alicante, Spain. ⟨hal-02715061⟩
Collections
74
Consultations
0
Téléchargements