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

Collections

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

40