Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Modular Constraint Solver Cooperation via Abstract Interpretation

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02945920
Contributeur : Eric Monfroy Connectez-vous pour contacter le contributeur
Soumis le : mardi 22 septembre 2020 - 16:45:59
Dernière modification le : mercredi 27 avril 2022 - 03:54:38

Lien texte intégral

Identifiants

Citation

Pierre Talbot, Éric Monfroy, Charlotte Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2020, 20 (6), pp.848-863. ⟨10.1017/S1471068420000162⟩. ⟨hal-02945920⟩

Partager

Métriques

Consultations de la notice

28