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 : mardi 5 janvier 2021 - 16:26:09

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

44