Modular Constraint Solver Cooperation via Abstract Interpretation - Université d'Angers Accéder directement au contenu
Article Dans Une Revue Theory and Practice of Logic Programming Année : 2020

Dates et versions

hal-02945920 , version 1 (22-09-2020)

Identifiants

Citer

Pierre Talbot, Éric Monfroy, Charlotte Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. Theory and Practice of Logic Programming, 2020, 20 (6), pp.848-863. ⟨10.1017/S1471068420000162⟩. ⟨hal-02945920⟩
47 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More