Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
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 Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : lundi 1 juin 2020 - 16:53:39
Dernière modification le : lundi 14 novembre 2022 - 02:42:07

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

24