Modular Constraint Solver Cooperation via Abstract Interpretation

@misc{talbotMon Sep 14 2020 10:01:14 GMT+0000 (Coordinated Universal Time)modularconstraintsolver,
      title={Modular Constraint Solver Cooperation via Abstract Interpretation},
      author={Pierre Talbot and Éric Monfroy and Charlotte Truchet},
      year={Mon Sep 14 2020 10:01:14 GMT+0000 (Coordinated Universal Time)},
      eprint={2008.01415},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2008.01415},
}