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 <>
Soumis le : mardi 22 septembre 2020 - 16:45:59
Dernière modification le : jeudi 24 septembre 2020 - 03:07:23

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

21