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

Modular Constraint Solver Cooperation via Abstract Interpretation

(1) , (2) , (3)
1
2
3

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⟩
32 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More