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

Evolving SMT Strategies

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

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

Identifiants

  • HAL Id : hal-02709511, version 1
  • OKINA : ua15337

Citation

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⟩

Partager

Métriques

Consultations de la notice

21