Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Generation and Optimization of SMT Strategies

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02715061
Contributeur : Okina Université d'Angers <>
Soumis le : lundi 1 juin 2020 - 19:56:45
Dernière modification le : vendredi 10 juillet 2020 - 10:52:02

Identifiants

  • HAL Id : hal-02715061, version 1
  • OKINA : ua17115

Citation

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⟩

Partager

Métriques

Consultations de la notice

14