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

Combining Constraint Languages via Abstract Interpretation

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

https://hal.univ-angers.fr/hal-02945596
Contributeur : Eric Monfroy <>
Soumis le : mardi 22 septembre 2020 - 14:32:22
Dernière modification le : mercredi 23 septembre 2020 - 04:20:59

Identifiants

Collections

Citation

Pierre Talbot, David Cachera, Eric Monfroy, Charlotte Truchet. Combining Constraint Languages via Abstract Interpretation. 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩. ⟨hal-02945596⟩

Partager

Métriques

Consultations de la notice

10