Pierre Talbot, Eric Monfroy, Charlotte Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. TPLP, 20(6):848-863, 2020. [doi]
@article{TalbotMT20,
title = {Modular Constraint Solver Cooperation via Abstract Interpretation},
author = {Pierre Talbot and Eric Monfroy and Charlotte Truchet},
year = {2020},
doi = {10.1017/S1471068420000162},
url = {https://doi.org/10.1017/S1471068420000162},
researchr = {https://researchr.org/publication/TalbotMT20},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {20},
number = {6},
pages = {848-863},
}