TY  - RPRT
TI  - Modular Constraint Solver Cooperation via Abstract Interpretation
AU  - Pierre Talbot
AU  - Éric Monfroy
AU  - Charlotte Truchet
PY  - 2020
DO  - 10.1017/s1471068420000162
UR  - https://arxiv.org/abs/2008.01415
ID  - 2008.01415
ER  -